Up
–
core_kernel
»
Core_kernel
»
Set_intf
»
For_deriving
» Compare_m
Module type
For_deriving.Compare_m