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