package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Q.t
type f = Q.f
val (->>) : t -> bool list -> f -> f
val arity : t -> f -> int
val cneg : t -> bool -> f -> f
val (&!) : t -> f -> f -> f
val (|!) : t -> f -> f -> f
val (^!) : t -> f -> f -> f
val (=!) : t -> f -> f -> f
val (*!) : t -> f -> f -> f
val cst : t -> bool -> int -> f
val var : t -> bool -> int -> int -> f
val to_bool : t -> f -> bool option
val cofactor : t -> bool -> f -> f
val id : t -> f -> GuaCaml.BTools.barray
val eq : t -> f -> f -> bool
val newman : unit -> t
val copy_into : t -> f list -> t -> f list
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.barray
val of_barray : ?t:t option -> GuaCaml.BTools.barray -> t * f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> f list GuaCaml.BTools.bw
val br_fl : ?t:t option -> (t * f list) GuaCaml.BTools.br
val t_stats : t -> GuaCaml.Tree.stree
val f_stats : t -> f list -> GuaCaml.Tree.stree
val clear_caches : t -> unit
val keep_clean : ?normalize:bool -> t -> f list -> f list
val check : t -> f -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> t -> f list GuaCaml.Io.ToF.t
val off : (t * f list) GuaCaml.Io.OfF.t
val to_string : t -> f -> string
val support : t -> f -> Support.t
val pevalA : t -> bool option list -> f -> f
val pevalR : t -> bool option list -> f -> f
val existsA : t -> Support.t -> f -> f
val existsR : t -> Support.t -> f -> f
val forallA : t -> Support.t -> f -> f
val forallR : t -> Support.t -> f -> f
val (&!!) : t -> int -> f list -> f
val (|!!) : t -> int -> f list -> f
val (^!!) : t -> int -> f list -> f
val (=!!) : t -> int -> f list -> f
val builtin_o_prim : prim -> bool
val detect_o_prim : t -> prim -> f -> int
val intro_o_prim : t -> prim -> int -> f -> f
val elim_o_prim : t -> prim -> int -> f -> f
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