module type CustomT = sig .. end
Signature of a module extending the type math list into a type
math list t with the necessary typeseting machinery.
type 'a t
Type of the extended maths. Think of the parameter 'a as being
equal to math list (see below).
val map : (Document.environment -> Document.Mathematical.style -> 'a -> 'b) ->
Document.environment ->
Document.Mathematical.style -> 'a t -> 'b t
Lift a function to the type t. You may think if its type as if it
were (math list -> box list) -> math list t -> box list t, if we
omit the environment and the syle parameters.
val draw : Document.environment ->
Document.Mathematical.style -> Box.box list t -> Box.box list
A custom drawing function for the type t.