Module Type.ESet

module ESet: Set.S @"V#V@@@$