Up
–
base
»
Base
»
Set
» Equal_m
Module type
Set.Equal_m