Generics.MultiRec.Eq

Generic equality

class HEq phi f

class Eq1 f