Up
–
base
»
Base__
»
Invariant_intf
»
Invariant
» S3
Module type
Invariant.S3
type
('a, 'b, 'c) t
val
invariant :
'a
inv
->
'b
inv
->
'c
inv
->
(
'a
,
'b
,
'c
)
t
inv