module C: Maths.CustomT
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
.