package patoline

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

Parameters

Signature

module Default : sig ... end
include module type of Default with module Output := Default.Output with module Make_theorem := Default.Make_theorem with module TableOfContents := Default.TableOfContents
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
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 Env_title : sig ... end
module Output (M : Patoraw.Driver.OutputDriver) : 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