package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type carry = {
  1. ninputs : int;
  2. mutable wire_cnt : int;
  3. mutable wires : int list;
  4. mutable assign : (int * int Expr.expr) list;
}
module MODELE : sig ... end
module MODULE : sig ... end
val export : ?name:string -> NAX.G0.manager -> int -> NAX.G0.edge' array -> (int, unit, int Expr.expr) IoTypes.system