comparison src/sqlcache.sig @ 2301:8d772fbf59c1

Tweak cache consolidation and choose better default.
author Ziv Scully <ziv@mit.edu>
date Fri, 20 Nov 2015 03:26:21 -0500
parents af1585e7d645
children
comparison
equal deleted inserted replaced
2300:57f6473b1469 2301:8d772fbf59c1
1 signature SQLCACHE = sig 1 signature SQLCACHE = sig
2 2
3 val setCache : Cache.cache -> unit 3 val setCache : Cache.cache -> unit
4 val getCache : unit -> Cache.cache 4 val getCache : unit -> Cache.cache
5 5
6 val setHeuristic : string -> unit
7
6 val getFfiInfo : unit -> {index : int, params : int} list 8 val getFfiInfo : unit -> {index : int, params : int} list
7 val go : Mono.file -> Mono.file 9 val go : Mono.file -> Mono.file
8 10
9 end 11 end