Module Deriving_Eq.Eq_unit

module Eq_unit: Eq   •Ŕ ,Eq_immutable°

type a 
val eq : a -> a -> bool