lift-type (Index)

lift-type

Index

getTypeOrDataName	LiftType
liftType	LiftType
liftTypeQ	LiftType
PromotedDataName	LiftType
tyConToName	LiftType
TypeName	LiftType
TypeOrDataName	LiftType
typeRepToType	LiftType
typeToName	LiftType