comparison src/settings.sig @ 2299:47d5c94aeeb8

Add consolidation heuristic options.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 17:29:47 -0500
parents 365727ff68f4
children 8d772fbf59c1
comparison
equal deleted inserted replaced
2298:6e580e319077 2299:47d5c94aeeb8
279 val setLessSafeFfi : bool -> unit 279 val setLessSafeFfi : bool -> unit
280 val getLessSafeFfi : unit -> bool 280 val getLessSafeFfi : unit -> bool
281 281
282 val setSqlcache : bool -> unit 282 val setSqlcache : bool -> unit
283 val getSqlcache : unit -> bool 283 val getSqlcache : unit -> bool
284 val setSqlcacheHeuristic : string -> unit
285 val getSqlcacheHeuristic : unit -> string
284 286
285 val setFilePath : string -> unit 287 val setFilePath : string -> unit
286 (* Sets the directory where we look for files being added below. *) 288 (* Sets the directory where we look for files being added below. *)
287 289
288 val addFile : {Uri : string, LoadFromFilename : string} -> unit 290 val addFile : {Uri : string, LoadFromFilename : string} -> unit