Up
–
base
»
Base__
»
Set_intf
»
For_deriving
» Equal_m
Module type
For_deriving.Equal_m