☰
jon.recoil.org
blog
notebooks
projects
reference
Module type
Invariant.S2
Source
type
('a, 'b) t
val
invariant :
(
'a
->
unit)
->
(
'b
->
unit)
->
(
'a
,
'b
)
t
->
unit