package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = G1
type peval = GuaCaml.Utils.peval
val iob_peval : bool option list GuaCaml.BTools.IoB.t
type next = peval option * M.G.ident
type next' = next M.M.M.next'
type edge' = next M.M.M.edge'
type node' = next M.M.M.node'
val eval_edge : peval -> edge' -> edge'
val eval_node : peval -> node' -> (edge', node') GuaCaml.Utils.merge
OCaml

Innovation. Community. Security.