Mercurial > urweb

comparison src/mono_reduce.sig @ 453:787d4931fb07

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Almost have that nested save function compiling
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 21:19:43 -0400
parents 55d8cfa4d024
children 8e055bbbd28b
comparison
equal deleted inserted replaced
452:222cbc1da232 453:787d4931fb07
28 (* Simplify a Mono program algebraically *) 28 (* Simplify a Mono program algebraically *)
29 29
30 signature MONO_REDUCE = sig 30 signature MONO_REDUCE = sig
31 31
32 val reduce : Mono.file -> Mono.file 32 val reduce : Mono.file -> Mono.file
33 33
34 val subExpInExp : int * Mono.exp -> Mono.exp -> Mono.exp
35
34 end 36 end