Up
–
base
»
Base__
»
Type_equal
»
Lift3
» 1-X
Parameter
Lift3.1-X
type
('a, 'b, 'c) t