package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
type giac =
  1. | Symbol of string
  2. | Number of string
  3. | Sum of giac * giac
  4. | Pro of giac * giac
  5. | Opp of giac
  6. | Inv of giac
  7. | Pow of giac * giac
  8. | App of giac * giac list
  9. | Ind of giac * giac list
  10. | Vec of giac list
  11. | Eq of giac * giac
val zero : giac -> giac
val int : int -> giac
type prio =
  1. | PAtm
  2. | PPow
  3. | PPro
  4. | PSum
  5. | Pred
val pTop : prio
val prev : prio -> prio
val giac__set__grammar : (prio -> giac Earley_core.Earley.grammar) -> unit
val gs : giac list Earley_core.Earley.grammar
val giac : giac Earley_core.Earley.grammar
val blank : Earley_core.Earley.blank
val prl : Stdlib.out_channel -> giac list -> unit
val print : Stdlib.out_channel -> giac -> unit
val prev_prio : prio -> prio
val idvec : int -> giac list -> bool
val id : 'a -> 'a
val use_times : giac -> bool
val gmathl : giac list -> Typography.Maths.math list
val gmath : giac -> Typography.Maths.math list
val giac_name : string
val proc : Stdlib.in_channel * Stdlib.out_channel * Stdlib.in_channel
val inc : Stdlib.in_channel
val ouc : Stdlib.out_channel
val erc : Stdlib.in_channel
val input_all : float -> string * string
val giac_wait : float Stdlib.ref
type t =
  1. | Giac of giac
  2. | Error of string
val parse_string : string -> giac
val lock_fd : Unix.file_descr
val run : ('a, Stdlib.out_channel, unit, t) Stdlib.format4 -> 'a
val eval : giac -> giac
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