Up
—
package
base
Module type
Base.Invariant.S
type
t
val
invariant :
t
Base__.Invariant_intf.inv