sig
  type 'a t
  val map :
    (Document.environment -> Document.Mathematical.style -> 'a -> 'b) ->
    Document.environment ->
    Document.Mathematical.style -> 'a Maths.CustomT.t -> 'b Maths.CustomT.t
  val draw :
    Document.environment ->
    Document.Mathematical.style ->
    Box.box list Maths.CustomT.t -> Box.box list
end