package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Stack : sig ... end
val stack : Typography__Maths.math list proof Stack.t
val hyp : Typography__Maths.math list -> unit
val ax : ?name:Typography__Maths.math list -> Typography__Maths.math list -> unit
val leaf : ?name:Typography__Maths.math list -> Typography__Maths.math list -> unit
val unary : ?name:Typography__Maths.math list -> Typography__Maths.math list -> unit
val binary : ?name:Typography__Maths.math list -> Typography__Maths.math list -> unit
val ternary : ?name:Typography__Maths.math list -> Typography__Maths.math list -> unit
val display_proof : unit -> Typography__Maths.math list
val do_begin_env : unit -> unit
val do_end_env : unit -> unit