package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type compact
type residual
type eval
type pnode = (M.leaf, eval option * G.pnode) GuaCaml.Tree.gnext
type pedge = M.edge * pnode
val eval : eval -> pedge -> pedge
val read : eval -> (unit, eval, eval, eval * eval) GuaCaml.Utils.binpull
val decomp : G.tree -> G.tree -> compact -> edge * edge
val compose : residual -> edge -> edge