comparison src/settings.sig @ 1966:b15a4c2cb542

neverInline
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Feb 2014 19:29:36 -0500
parents ac1be85e91ad
children 403f0cc65b9c
comparison
equal deleted inserted replaced
1963:fec7beec96c7 1966:b15a4c2cb542
250 val getMinHeap : unit -> int 250 val getMinHeap : unit -> int
251 251
252 val addAlwaysInline : string -> unit 252 val addAlwaysInline : string -> unit
253 val checkAlwaysInline : string -> bool 253 val checkAlwaysInline : string -> bool
254 254
255 val addNeverInline : string -> unit
256 val checkNeverInline : string -> bool
257
255 val addNoXsrfProtection : string -> unit 258 val addNoXsrfProtection : string -> unit
256 val checkNoXsrfProtection : string -> bool 259 val checkNoXsrfProtection : string -> bool
257 260
258 val setTimeFormat : string -> unit 261 val setTimeFormat : string -> unit
259 val getTimeFormat : unit -> string 262 val getTimeFormat : unit -> string