Up
Module type
Funvar_mem.Criteria
module type
Criteria =
sig
..
end
Define the criteria of variables trait by funvar of by M
val
isHoare
:
bool