package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Parameter_validation of string * int * int
val (@) : 'a Tuple.t -> 'b Tuple.t -> ('a * 'b) Tuple.t
val (@->) : param -> ('a, 'b) Curried.t -> (Signal.Types.signal -> 'a, 'b) Curried.t
val returning : 'a Tuple.t -> ('a, 'a) Curried.t
type (!'a, 'b) defn = ('a, 'b) Curried.t * 'a
val define : ('a, 'b) Curried.t -> 'a -> ('a, 'b) defn
val call : ('a, 'b) defn -> 'a
type inst_env = {
  1. input : ienv;
  2. output : oenv;
}
val inst : inst_env -> ('a, 'b) defn -> 'b
val returns : ('a, 'b) defn -> 'b -> Signal.Types.signal list
val ioenv : inst_env
val circuit : string -> ('a, 'b) defn -> Circuit.t