Up
–
core_kernel
»
Core_kernel__
»
Type_equal_intf
»
Type_equal
»
Lift
» 1-X
Parameter
Lift.1-X
type
'a t