Module Factory

module Factory: sig .. end

type mheap = 

type mvar = 

type setup = {

type driver = LogicBuiltins.driver 

val ident : setup -> string

val descr : setup -> string

val computer : setup -> driver -> Generator.computer

val parse : string list -> setup