Previous
Up
Next
Module
Register.HCriteria
module
HCriteria:
sig
..
end
val
isHoare
:
bool