Up
Next
Module type
Invariant_intf.S
module type
S =
sig
..
end
type
t
val
invariant
:
t
Invariant_intf.inv