Up
Module type
S
=
Invariant_intf.S
Signature
type
t
val
invariant :
t
Invariant_intf.inv