Up
Next
Module
Precategory.Make.Presentation.E
module
E
:
Stdlib.Map.Make
(
X
)