package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tag =
  1. | And
  2. | Cons
  3. | Xor
val tob_tag : tag -> bool list -> bool list
val ofb_tag : bool list -> tag * bool list
val bw_tag : GuaCaml.BTools.ToBStream.Channel.t -> tag -> unit
val o3s_tag : (tag -> bool list -> bool list) * (bool list -> tag * bool list)
val string_of_tag : tag -> string
val string_to_tag : string -> tag
type ttag =
  1. | TAnd of bool * bool
  2. | TCons of bool
  3. | TXor
val string_of_ttag : ttag -> string
val bw_ttag : GuaCaml.BTools.ToBStream.Channel.t -> ttag -> unit
val tob_ttag : ttag -> bool list -> bool list
val ofb_ttag : bool list -> ttag * bool list
val stree_of_ttag : ttag -> string list -> string list
val stree_to_ttag : string list -> ttag * string list
val default_eval_node : (bool option list -> 'a -> 'b) -> bool option list -> (tag * 'a * 'a) -> ('b, tag * 'b * 'b) GuaCaml.Utils.merge
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