package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module ToF : sig ... end
module OfF : sig ... end
module ToBStream : sig ... end
module OfBStream : sig ... end
val import_expr : (bool -> int -> 'f) -> (int -> 'f array) -> ('f -> 'f -> 'f) -> ('f -> 'f -> 'f) -> ('f -> 'f) -> 's IoTypes.expr -> 't -> ('s, 't, 'f) IoTypes.system
val normalize_system : 's IoTypes.expr -> int IoTypes.expr * 's array * int array * int array * bool array * bool array
val cnax_of_expr : 'a IoTypes.expr -> 'a Cnax.system
val nax_of_expr : 'a IoTypes.expr -> 'a Nax.system
val compose : ('s0, 't0, 'f0) IoTypes.system -> (int, unit, int Expr.expr) IoTypes.system -> ('s0 array -> int -> 's0 array) -> ('s0, unit, 's0 Expr.expr) IoTypes.system
val expr_of_nax : string Nax.system -> (string array -> int -> string array) -> string IoTypes.expr
val nax_of_cnax : 's Cnax.system -> 's Nax.system
val expr_of_cnax : string Cnax.system -> (string array -> int -> string array) -> string IoTypes.expr
val string_fnn_vanilla : string array -> int -> string array
val string_fnn : string array -> int -> string array
val make : string -> 'a -> int -> 'b array -> (string, 'a, 'b) IoTypes.system
val normalize_expr_with_cnax : string IoTypes.expr -> string IoTypes.expr
OCaml

Innovation. Community. Security.