Module Deriving_Eq.Eq_unit

module Eq_unit: Eq   •À �,Eq_immutable

type a 

val eq : a -> a -> bool