Module type Maths.CustomT

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.