Module Djot_kernel.OrdersEx

type __ = Stdlib.Obj.t
module N_as_OT : sig ... end
module Ascii_as_OT : sig ... end
module String_as_OT : sig ... end