type 'a t = {write_enables : 'a list; |
read_enables : 'a list; |
data : 'a; |
address : 'a; |
read_window : 'a; |
}val sexp_of_t : ( 'a -> Sexplib0.Sexp.t ) -> 'a0 t -> Sexplib0.Sexp.tval iter : 'a t -> f:( 'a0 -> Base.unit ) -> Base.unitval iter2 : 'a t -> 'b t -> f:( 'a0 -> 'b0 -> Base.unit ) -> Base.unitval map : 'a t -> f:( 'a0 -> 'b ) -> 'b0 tval map2 : 'a t -> 'b t -> f:( 'a0 -> 'b0 -> 'c ) -> 'c0 tval to_list : 'a t -> 'a0 Base.listval t : (Base.string * Base.int) tval equal : 'a Base__Equal.equal -> 'a0 t Base__Equal.equalval port_names : Base.string tval port_widths : Base.int tval to_alist : 'a t -> (tag * 'a0) Base.listval of_alist : (tag * 'a) Base.list -> 'a0 tval sum_of_port_widths : Base.intval zip : 'a t -> 'b t -> ('a0 * 'b0) tval zip3 : 'a t -> 'b t -> 'c t -> ('a0 * 'b0 * 'c0) tval zip4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a0 * 'b0 * 'c0 * 'd0) tval zip5 :
'a t ->
'b t ->
'c t ->
'd t ->
'e t ->
('a0 * 'b0 * 'c0 * 'd0 * 'e0) tval map3 : 'a t -> 'b t -> 'c t -> f:( 'a0 -> 'b0 -> 'c0 -> 'd ) -> 'd0 tval map4 :
'a t ->
'b t ->
'c t ->
'd t ->
f:( 'a0 -> 'b0 -> 'c0 -> 'd0 -> 'e ) ->
'e0 tval map5 :
'a t ->
'b t ->
'c t ->
'd t ->
'e t ->
f:( 'a0 -> 'b0 -> 'c0 -> 'd0 -> 'e0 -> 'f ) ->
'f0 tval iter3 :
'a t ->
'b t ->
'c t ->
f:( 'a0 -> 'b0 -> 'c0 -> Base.unit ) ->
Base.unitval iter4 :
'a t ->
'b t ->
'c t ->
'd t ->
f:( 'a0 -> 'b0 -> 'c0 -> 'd0 -> Base.unit ) ->
Base.unitval iter5 :
'a t ->
'b t ->
'c t ->
'd t ->
'e t ->
f:( 'a0 -> 'b0 -> 'c0 -> 'd0 -> 'e0 -> Base.unit ) ->
Base.unitval fold : 'a t -> init:'acc -> f:( 'acc -> 'a0 -> 'acc ) -> 'accval fold2 :
'a t ->
'b t ->
init:'acc ->
f:( 'acc -> 'a0 -> 'b0 -> 'acc ) ->
'accval scan : 'a t -> init:'acc -> f:( 'acc -> 'a0 -> 'acc * 'b ) -> 'b0 tval scan2 :
'a t ->
'b t ->
init:'acc ->
f:( 'acc -> 'a0 -> 'b0 -> 'acc * 'c ) ->
'c0 tval offsets : ?rev:Base.bool -> Base.unit -> Base.int tval of_interface_list : 'a t Base.list -> 'a0 Base.list tval to_interface_list : 'a Base.list t -> 'a0 t Base.listmodule All (M : Base.Monad.S) : sig ... endval or_error_all : 'a Base.Or_error.t t -> 'a0 t Base.Or_error.tmodule type Comb = sig ... end