Mercurial > urweb

comparison src/settings.sig @ 1393:802c179dac1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
alwaysInline .urp setting
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 18:15:04 -0500
parents 44a12a321150
children 66092ce45a76
comparison
equal deleted inserted replaced
1392:e305ffee2b5b 1393:802c179dac1f
213 val addLimit : string * int -> unit 213 val addLimit : string * int -> unit
214 val limits : unit -> (string * int) list 214 val limits : unit -> (string * int) list
215 215
216 val setMinHeap : int -> unit 216 val setMinHeap : int -> unit
217 val getMinHeap : unit -> int 217 val getMinHeap : unit -> int
218
219 val addAlwaysInline : string -> unit
220 val checkAlwaysInline : string -> bool
218 end 221 end