From d04337d2e0319d56ac5f7ed2b4d431cb56017bb5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 25 Oct 2009 12:08:21 -0400 Subject: Inlining threshold for Reduce --- src/settings.sig | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/settings.sig') diff --git a/src/settings.sig b/src/settings.sig index a207b207..61095ff8 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -175,4 +175,10 @@ signature SETTINGS = sig val setSql : string option -> unit val getSql : unit -> string option + val setCoreInline : int -> unit + val getCoreInline : unit -> int + + val setMonoInline : int -> unit + val getMonoInline : unit -> int + end -- cgit v1.2.3