Mercurial > urweb
annotate src/sqlcache.sig @ 2243:da7d026d1a94
Fix possible formula simplification bug with extra formula' type.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Mon, 20 Jul 2015 19:49:13 -0700 |
| 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 |