comparison src/mono_opt.sig @ 717:e28637743279

URLs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 16:36:50 -0400
parents 65d8541c130b
children f7e2026dd5ae
comparison
equal deleted inserted replaced
716:a6941960f459 717:e28637743279
28 signature MONO_OPT = sig 28 signature MONO_OPT = sig
29 29
30 val optimize : Mono.file -> Mono.file 30 val optimize : Mono.file -> Mono.file
31 val optExp : Mono.exp -> Mono.exp 31 val optExp : Mono.exp -> Mono.exp
32 32
33 val bless : (string -> bool) ref
34
33 end 35 end