annotate src/sqlcache.sig @ 2297:6d56080f495c

Fix a read-after-free bug using a timestamp check
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Nov 2015 13:18:58 -0500
parents af1585e7d645
children 8d772fbf59c1
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@2233 6 val getFfiInfo : unit -> {index : int, params : int} list
ziv@2209 7 val go : Mono.file -> Mono.file
ziv@2209 8
ziv@2209 9 end