package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module D0 : MODELE_EVAL

Signature

type memo = {
  1. man : manager;
  2. calc : D0.pars -> edge -> edge;
  3. memo : (D0.pars * edge, edge) GuaCaml.MemoTable.t;
}
type manager = memo
val makeman : G.manager -> int -> memo * (D0.pars -> edge -> edge)
val newman : G.manager -> memo * (D0.pars -> edge -> edge)
val calc : memo -> D0.pars -> edge -> edge
val dump_stats : memo -> string GuaCaml.Tree.tree