Mercurial > urweb
comparison src/sqlcache.sig @ 2304:6fb9232ade99
Merge Sqlcache
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 20 Dec 2015 14:18:52 -0500 |
parents | 8d772fbf59c1 |
children |
comparison
equal
deleted
inserted
replaced
2201:1091227f535a | 2304:6fb9232ade99 |
---|---|
1 signature SQLCACHE = sig | |
2 | |
3 val setCache : Cache.cache -> unit | |
4 val getCache : unit -> Cache.cache | |
5 | |
6 val setHeuristic : string -> unit | |
7 | |
8 val getFfiInfo : unit -> {index : int, params : int} list | |
9 val go : Mono.file -> Mono.file | |
10 | |
11 end |