Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Pretty-printable Set.S
.
include Asetmap.Set.S
choose s
is an element of s
or None
is s
empty. The chosen element is equal for equal sets.