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