Module Register.MCriteria


module MCriteria: sig .. end

val isHoare : bool