Up
–
base
»
Base
»
Invariant
» S2
Module type
Invariant.S2
type
('a, 'b) t
val
invariant :
(
'a
->
unit)
->
(
'b
->
unit)
->
(
'a
,
'b
)
t
->
unit