package patoline

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

Parameters

Signature

module Default : sig ... 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 Stdlib.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 Stdlib.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 = sig ... end
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 = sig ... end
module Env_genumerate = Default.Env_genumerate
module Env_enumerate = Default.Env_enumerate
module Env_abstract = Default.Env_abstract
module type Theorem = sig ... end
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_theoreme : sig ... end
module Env_lemme : sig ... end
module Env_proposition : sig ... end
module Env_corollaire : sig ... end
module Env_exemple : sig ... end
module Env_hypothese : sig ... end
module Env_remarque : sig ... end
module Env_exercice : sig ... end
module Env_preuve : 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct