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