module Factory:sig
..end
type
mheap =
| |
Hoare |
| |
Typed of |
type
mvar =
| |
Raw |
| |
Var |
| |
Ref |
| |
Caveat |
type
setup = {
|
mvar : |
|
mheap : |
|
cint : |
|
cfloat : |
typedriver =
LogicBuiltins.driver
val ident : setup -> string
val descr : setup -> string
val computer : setup -> driver -> Generator.computer
val parse : string list -> setup