package patoline

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val hyphenate_dict : string -> string -> (string * string) array
val break : unit -> Typography.Document.content list
val stackDrawings : Typography.Box.drawingBox list -> Typography.Box.box
val sourcePosition : (string * int * int * int) -> Typography.Document.content list
val title : Typography.Document.DocZipper.zipper ref -> ?label:'a -> ?extra_tags:(string * string) list -> Typography.Document.content list -> bool
module TableOfContents : sig ... end
val glue_space : int -> Typography.Document.content
val verbs_default : string option -> string list -> unit
val verbs_Lang : Typography.Verbatim.param -> string option -> string list -> unit
val verbs_OCaml : string option -> string list -> unit
val verbs_SML : string option -> string list -> unit
val verbs_PML : string option -> string list -> unit
val verbs_Python : string option -> string list -> unit
val verbatim : string -> Typography.Document.content list
val verb_OCaml : string -> Typography.Document.content list
val verb_SML : string -> Typography.Document.content list
val verb_PML : string -> Typography.Document.content list
val verb_Python : string -> Typography.Document.content list
val env_stack : int list list ref
module Env_minipage : sig ... end
val animation : ?step:float -> ?duration:float -> ?mirror:bool -> ?default:int -> int -> (int -> Typography.Document.content list) -> Typography.Document.content list
val dynname : unit -> string
module Env_dynamic (X : sig ... end) : sig ... end
type tableParams = DefaultFormat.Format(D).tableParams = {
  1. widths : Typography.Document.environment -> float array;
  2. h_spacing : float;
  3. v_spacing : float;
}
val table : tableParams -> (Typography.Document.tree * 'a) array array -> Typography.Document.content list
module Env_env (M : sig ... end) : sig ... end
module Env_noindent : sig ... end
val noindent : Typography.Document.content list
val hfill : float -> Typography.Document.content list
val nothing : Typography.Document.content list
val mathNothing : Typography.Maths.math list
module Env_mathpar : sig ... end
module Env_center : sig ... end
module Env_raggedRight : sig ... end
module Env_raggedLeft : sig ... end
val tiret_w : Typography.Document.environment -> float
module type Enumeration = sig ... end
module Enumerate (M : Enumeration) : sig ... end
module Env_itemize : sig ... end
type number_kind = DefaultFormat.Format(D).number_kind =
  1. | Arabic
  2. | AlphaLower
  3. | AlphaUpper
  4. | RomanLower
  5. | RomanUpper
module type Enumerate_Pattern = sig ... end
module Env_genumerate (Pat : Enumerate_Pattern) : sig ... end
module Env_enumerate : sig ... end
module Env_abstract : sig ... end
module type Theorem = sig ... end
module Env_gproof (X : sig ... end) : sig ... end
module Env_proof : sig ... end
module Env_proofOf (X : sig ... end) : sig ... end
module Proof : sig ... end
module Make_theorem (Th : Theorem) : sig ... end
module Env_title : sig ... end
module Output (M : Patoraw.Driver.OutputDriver) : sig ... end