comparison src/settings.sig @ 1114:01b6c7144a44

Deadlines
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 15:58:34 -0500
parents 324c9ffe8ff9
children 8679ba87cf3c
comparison
equal deleted inserted replaced
1113:40d48a2b78a7 1114:01b6c7144a44
185 val getMonoInline : unit -> int 185 val getMonoInline : unit -> int
186 186
187 val setStaticLinking : bool -> unit 187 val setStaticLinking : bool -> unit
188 val getStaticLinking : unit -> bool 188 val getStaticLinking : unit -> bool
189 189
190 val setDeadlines : bool -> unit
191 val getDeadlines : unit -> bool
192
190 end 193 end