From ca3efa1458583772a9826198ed4b99eec381f2de Mon Sep 17 00:00:00 2001 From: Ziv Scully Date: Wed, 6 May 2015 23:11:30 -0400 Subject: More work factoring out Sqlcache back end. --- src/sqlcache.sig | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/sqlcache.sig') 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 -- cgit v1.2.3