Module `Djot_kernel.OrderedTypeEx`

module String_as_OT : sig ... end