Make.I
type 'a t = {
clock : 'a; |
clear : 'a; |
start : 'a; |
first_4step_pass : 'a; |
wr_d : 'a Multi_parallel_cores.Q2d.t; |
wr_en : 'a; |
wr_addr : 'a Base.array; |
rd_en : 'a; |
rd_addr : 'a Base.array; |
input_done : 'a; |
output_done : 'a; |
}
include Ppx_deriving_hardcaml_runtime.Interface.S with type 'a t := 'a t
val sexp_of_t : ( 'a -> Sexplib0.Sexp.t ) -> 'a t -> Sexplib0.Sexp.t
val iter : 'a t -> f:( 'a -> Base.unit ) -> Base.unit
val to_list : 'a t -> 'a Base.list
val t : (Base.string * Base.int) t
val equal : 'a Base.Equal.equal -> 'a t Base.Equal.equal
val port_names : Base.string t
val port_widths : Base.int t
val to_alist : 'a t -> (Base.string * 'a) Base.list
val of_alist : (Base.string * 'a) Base.list -> 'a t
val fold : 'a t -> init:'acc -> f:( 'acc -> 'a -> 'acc ) -> 'acc
val offsets : ?rev:Base.bool -> Base.unit -> Base.int t
module type Comb = sig ... end
module Of_bits : sig ... end
module Of_signal : sig ... end
module Of_always : sig ... end