package hardcaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type port_list = Port_list.t
type node = Node.t
type reg = Reg.t
type memory = Memory.t
type task = Base.unit -> Base.unit
val create : ?circuit:Circuit.t -> in_ports:port_list -> out_ports_before_clock_edge:port_list -> out_ports_after_clock_edge:port_list -> reset:task -> cycle_check:task -> cycle_before_clock_edge:task -> cycle_at_clock_edge:task -> cycle_after_clock_edge:task -> traced:Traced.t -> lookup_node:(Traced.internal_signal -> node Base.option) -> lookup_reg:(Traced.internal_signal -> reg Base.option) -> lookup_mem:(Traced.internal_signal -> memory Base.option) -> Base.unit -> t_port_list
module Step : sig ... end
val modify : ('i, 'o) t -> (Side.t * Step.t * task) Base.list -> ('i, 'o) t
val coerce : (port_list, port_list) t -> to_input:(port_list -> 'i) -> to_output:(port_list -> 'o) -> ('i, 'o) t
module Traced_nodes : sig ... end
OCaml

Innovation. Community. Security.