Module Factory

module Factory: sig .. end

type mheap = 
| Hoare
| Typed of MemTyped.pointer
type mvar = 
| Raw
| Var
| Ref
| Caveat
type setup = {
   mvar : mvar;
   mheap : mheap;
   cint : Cint.model;
   cfloat : Cfloat.model;
}
type driver = LogicBuiltins.driver 
val ident : setup -> string
val descr : setup -> string
val computer : setup -> driver -> Generator.computer
val parse : string list -> setup