blob: c14ae648a8d95c3ff788488039f8370f57f4a378 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- Copyright 2023 Google LLC
--
-- Use of this source code is governed by a BSD-style
-- license that can be found in the LICENSE file or at
-- https://developers.google.com/open-source/licenses/bsd
module Simplify (linearizeTopFun) where
import Name
import Builder
import Types.Core
linearizeTopFun :: (Mut n, Fallible1 m, TopBuilder m) => LinearizationSpec n -> m n (TopFunName n, TopFunName n)
|
