Mercurial > urweb
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 |