Module Register.HCriteria


module HCriteria: sig .. end

val isHoare : bool