diff options
author | Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
commit | ca3efa1458583772a9826198ed4b99eec381f2de (patch) | |
tree | 601805ceb6fea9d5d9282a2b2f51857b416e8f23 /src/sqlcache.sig | |
parent | 9c155aa780bef9e6edae2c07516693c12b37962b (diff) |
More work factoring out Sqlcache back end.
Diffstat (limited to 'src/sqlcache.sig')
-rw-r--r-- | src/sqlcache.sig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/sqlcache.sig b/src/sqlcache.sig index ccc1741a..fabc9ebf 100644 --- a/src/sqlcache.sig +++ b/src/sqlcache.sig @@ -1,6 +1,9 @@ signature SQLCACHE = sig -val ffiIndices : int list ref +val setCache : Cache.cache -> unit +val getCache : unit -> Cache.cache + +val getFfiInfo : unit -> {index : int, params : int} list val go : Mono.file -> Mono.file end |