module Eq_unit: Eq with type a = unit
Eq
with type a = unit
type a
val eq : a -> a -> bool
a -> a -> bool