package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type

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).

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.

A custom drawing function for the type t.