Up
—
package
core_extended
Module type
Core_extended.Invariant.S1
type
'a t
val
invariant :
'a
inv
‑>
'a
t
inv