package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : bool
val spacing : (float * float) list -> (float * float) list -> float
val htr : (float * 'a) list -> float -> (float * 'a) list
val vtr : ('a * float) list -> float -> ('a * float) list
val extract_y0 : ('a * float) list -> float
type 'a proof =
  1. | Hyp of 'a
  2. | Rule of 'a proof list * 'a * 'a option
  3. | SubProof of 'a proof list * 'a * 'a option
type paramProofTree = {
  1. spaceUnderRule : float;
  2. spaceAboveRule : float;
  3. minSpaceAboveRule : float;
  4. thicknessRule : float;
  5. heightName : float;
  6. spaceBeforeName : float;
  7. spaceBetweenProof : float;
  8. extraRule : float;
  9. heightSubProof : float;
  10. noPremiseTopLineIncrease : float;
}
val proofTreeDefault : paramProofTree
module ProofTree : sig ... end
val proofTree : ?param:paramProofTree -> Typography__Maths.math list proof -> Typography__Maths.math list
val axiom : 'a -> 'a proof
val axiomN : 'a -> 'a -> 'a proof
val axiomR : Typography__Maths.math list -> Typography__Maths.math list
val axiomRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val hyp : 'a -> 'a proof
val unary : 'a -> 'a proof -> 'a proof
val unaryN : 'a -> 'a -> 'a proof -> 'a proof
val unaryR : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val unaryRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val binary : 'a -> 'a proof -> 'a proof -> 'a proof
val binaryN : 'a -> 'a -> 'a proof -> 'a proof -> 'a proof
val binaryR : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val binaryRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val ternary : 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val ternaryN : 'a -> 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val ternaryR : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val ternaryRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val quaternary : 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val quaternaryN : 'a -> 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val quaternaryR : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val quaternaryRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list
val n_ary : 'a -> 'a proof list -> 'a proof
val n_aryN : 'a -> 'a -> 'a proof list -> 'a proof
val n_aryR : Typography__Maths.math list -> Typography__Maths.math list list -> Typography__Maths.math list
val n_aryRN : Typography__Maths.math list -> Typography__Maths.math list -> Typography__Maths.math list list -> Typography__Maths.math list
val leafSP : 'a -> 'a proof
val leafSPN : 'a -> 'a -> 'a proof
val unarySP : 'a -> 'a proof -> 'a proof
val unarySPN : 'a -> 'a -> 'a proof -> 'a proof
val binarySP : 'a -> 'a proof -> 'a proof -> 'a proof
val binarySPN : 'a -> 'a -> 'a proof -> 'a proof -> 'a proof
val ternarySP : 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val ternarySPN : 'a -> 'a -> 'a proof -> 'a proof -> 'a proof -> 'a proof
val n_arySP : 'a -> 'a proof list -> 'a proof
val n_arySPN : 'a -> 'a proof list -> 'a -> 'a proof
module Env_proofTree : 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