diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
commit | a0d66adaeceaa07e4006a0570211f7453a5b5738 (patch) | |
tree | 581b53bb4d82cac2212320264ce1dc0de8d8f263 /src/sqlcache.sig | |
parent | ff19a9c86b380918f50e294848be06f29b2ba1dd (diff) |
Tweak cache consolidation and choose better default.
Diffstat (limited to 'src/sqlcache.sig')
-rw-r--r-- | src/sqlcache.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sqlcache.sig b/src/sqlcache.sig index fabc9ebf..e264c1f0 100644 --- a/src/sqlcache.sig +++ b/src/sqlcache.sig @@ -3,6 +3,8 @@ signature SQLCACHE = sig val setCache : Cache.cache -> unit val getCache : unit -> Cache.cache +val setHeuristic : string -> unit + val getFfiInfo : unit -> {index : int, params : int} list val go : Mono.file -> Mono.file |