Module Factory.VarHoare

module VarHoare: sig .. end

val datatype : string
val param : 'a -> MemVar.param