package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = manager
type f = G0.edge'
val arity : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> int
val (->>) : 'a -> bool list -> (Ldd_B_u_nuc_types.block * ('b, 'c) GuaCaml.Tree.gnext) -> Ldd_B_u_nuc_types.block * ('b, 'c) GuaCaml.Tree.gnext
val cneg : 'a -> bool -> (Ldd_B_u_nuc_types.block * 'b) -> Ldd_B_u_nuc_types.block * 'b
val neg : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> Ldd_B_u_nuc_types.block * 'b
val cst : 'a -> bool -> int -> Ldd_B_u_nuc_types.block * (unit, 'b) GuaCaml.Tree.gnext
val var : 'a -> bool -> int -> int -> Ldd_B_u_nuc_types.block * (unit, 'b) GuaCaml.Tree.gnext
val to_bool : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> bool option
val newman : unit -> manager
val copy_into : t -> f list -> t -> f list
val of_barray : ?t:t option -> GuaCaml.BTools.BArray.t -> t * f list
val do_nocopy : bool -> G1.G.manager -> G1.G.edge' list -> G1.G.manager * G1.G.edge' list
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.BArray.t
val br_fl : ?t:t option -> GuaCaml.BTools.OfBStream.Channel.t -> t * f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> GuaCaml.BTools.ToBStream.Channel.t -> f list -> unit
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 : manager -> G0.edge' -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> t -> out_channel -> f list -> unit
val off : in_channel -> t * f list
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