Up
—
package
base
Module type
Base__Invariant_intf.Invariant.S
type
t
val
invariant :
t
inv