module VarHoare: sig .. end
sig
end
val datatype : string
string
val param : 'a -> MemVar.param
'a -> MemVar.param