package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type elem =
  1. | S
  2. | U
  3. | C of bool * int
type suc_tag = {
  1. hasS : bool;
  2. hasU : bool;
  3. maxC : int option;
}
type block_suc = bool * suc_tag * elem list
type block_choice =
  1. | C0
  2. | Id of int
  3. | SUC of block_suc
type block = {
  1. neg : bool;
  2. arity : int;
  3. block : block_choice;
}
type leaf = unit
type edge = block
type node = unit
type !'i next' = (leaf, 'i) GuaCaml.Tree.gnext
type !'i edge' = edge * 'i next'
type !'i node' = node * 'i edge' * 'i edge'
type peval = GuaCaml.Utils.peval
type opeval = peval option
type !'a pedge = 'a plink edge'
type !'a pnode = 'a plink node'
type !'a merge = ('a next', 'a node') GuaCaml.Utils.merge
type !'a emerge = block * 'a merge
type !'a merge3 = ('a next', 'a node', 'a node') GuaCaml.Utils.merge3
type !'a emerge3 = block * 'a merge3
type quant = GuaCaml.Utils.quant
type opquant = quant option
type !'a qedge = 'a qlink edge'
type !'a qnode = 'a qlink node'
type !'a edge'm = ('a, 'a node') GuaCaml.Utils.merge edge'
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