package patoline

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

Parameters

Signature

val defaultPageMaster : Typography.PageLayout.pageMaster
include sig ... end
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
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 Stdlib.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 = Env_proof
module Make_theorem (Th : Theorem) : sig ... end
module Env_title : sig ... end
module Output (M : Patoraw.Driver.OutputDriver) : sig ... end
val title : Typography.Document.DocZipper.zipper Stdlib.ref -> ?label:'a -> ?extra_tags:(string * string) list -> Typography.Document.content list -> bool
module Env_definition : sig ... end
module Env_theorem : sig ... end
module Env_proposition : sig ... end
module Env_corollary : sig ... end
module Env_lemma : sig ... end
module Env_openproblem : sig ... end
module Env_conjecture : sig ... end
module Env_algorithm : sig ... end
module Env_exercise : sig ... end
module Env_example : sig ... end
module Env_axiom : sig ... end
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
val boxes_y0 : Typography.Box.box list -> float
val boxes_y1 : Typography.Box.box list -> float
val equation : Typography.Document.content list -> 'a list
module Env_preuve : sig ... end
module Env_preuveDe (X : sig ... end) : sig ... end
module Env_defi : sig ... end
module Env_theoreme : sig ... end
module Env_prop : sig ... end
module Env_corollaire : sig ... end
module Env_lemme : sig ... end
module Env_exemple : sig ... end
module Env_hypothese : sig ... end
module Env_remarque : sig ... end
module Env_condition : sig ... end
module Env_notation : sig ... end
module Env_exercice : sig ... end
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