package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : Sig
type peval
val iob_peval : peval 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.