Module type Funvar_mem.Criteria


module type Criteria = sig .. end
Define the criteria of variables trait by funvar of by M

val isHoare : bool