Up
—
package
core_extended
Module type
Core_extended.Invariant.S2
type
('a, 'b) t
val
invariant :
'a
inv
‑>
'b
inv
‑>
(
'a
,
'b
)
t
inv