Source file refl.ml

1
type ('a, 'b) t = Refl : ('a, 'a) t