Parameter Core_kernel.Type_equal.Lift.1-X

type 'a t