package patoline

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

Parameters

module Default : sig ... end

Signature

module Default = Default
include module type of struct include Default end
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 = Default.TableOfContents
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 = Default.Env_minipage
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 = Default.Env_dynamic
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 = Default.Env_env
module Env_noindent = Default.Env_noindent
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 = Default.Env_mathpar
module Env_center = Default.Env_center
module Env_raggedRight = Default.Env_raggedRight
module Env_raggedLeft = Default.Env_raggedLeft
val tiret_w : Typography.Document.environment -> float
module type Enumeration = Default.Enumeration
module Enumerate = Default.Enumerate
module Env_itemize = Default.Env_itemize
type number_kind = DefaultFormat.Format(D).number_kind =
  1. | Arabic
  2. | AlphaLower
  3. | AlphaUpper
  4. | RomanLower
  5. | RomanUpper
module type Enumerate_Pattern = Default.Enumerate_Pattern
module Env_genumerate = Default.Env_genumerate
module Env_enumerate = Default.Env_enumerate
module Env_abstract = Default.Env_abstract
module type Theorem = Default.Theorem
module Env_gproof = Default.Env_gproof
module Env_proof = Default.Env_proof
module Env_proofOf = Default.Env_proofOf
module Proof = Default.Proof
module Make_theorem = Default.Make_theorem
module Env_title = Default.Env_title
module Output = Default.Output
val caml : 'a -> 'a
module Env_definition : sig ... end
module Env_theorem : sig ... end
module Env_lemma : sig ... end
module Env_proposition : sig ... end
module Env_corollary : sig ... end
module Env_example : sig ... end
module Env_hypothesis : sig ... end
module Env_remark : sig ... end
val equation : Typography.Document.content list -> 'a list
val utf8Char : int -> Typography.Document.content list
val glyph : int -> Typography.Document.content
val q : 'a -> Typography.Document.content list
val qq : 'a -> Typography.Document.content list