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