Module type Accessor__Subtyping_intf.Subtyping
type at_least_one
= [
]
type at_most_one
= [
]
type coerce
= [
]
type construct
= [
]
type get
= [
]
type map
= [
]
type constructor
= construct
type equality
= [
]
type field
= [
]
type getter
= [
]
type isomorphism
= [
]
type many
= [
]
type many_getter
= get
type mapper
= map
type nonempty
= [
]
type nonempty_getter
= [
]
type optional
= [
]
type optional_getter
= [
]
type variant
= [
]