Up
—
package
base
Module type
Base.Invariant.S1
type
'a t
val
invariant :
'a
Base__.Invariant_intf.inv
‑>
'a
t
Base__.Invariant_intf.inv