annotate src/sqlcache.sig @ 2307:6ae9a2784a45

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 14:39:50 -0500
parents 8d772fbf59c1
children
rev   line source
ziv@2209 1 signature SQLCACHE = sig
ziv@2209 2
ziv@2233 3 val setCache : Cache.cache -> unit
ziv@2233 4 val getCache : unit -> Cache.cache
ziv@2233 5
ziv@2301 6 val setHeuristic : string -> unit
ziv@2301 7
ziv@2233 8 val getFfiInfo : unit -> {index : int, params : int} list
ziv@2209 9 val go : Mono.file -> Mono.file
ziv@2209 10
ziv@2209 11 end