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