include Interface.S with type 'a t := 'a tval sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tval iter : 'a t -> f:('a -> Base.Unit.t) -> Base.Unit.tval iter2 : 'a t -> 'b t -> f:('a -> 'b -> Base.Unit.t) -> Base.Unit.tval to_list : 'a t -> 'a Base.List.tval t : (Base.String.t * Base.Int.t) tinclude Base.Equal.S1 with type 'a t := 'a tval equal : 'a Base.Equal.equal -> 'a t Base.Equal.equalval port_names : Base.String.t tRTL names specified in the interface definition - commonly also the OCaml field name.
val port_widths : Base.Int.t tBit widths specified in the interface definition.
val to_alist : 'a t -> (Base.String.t * 'a) Base.List.tCreate association list indexed by field names.
val of_alist : (Base.String.t * 'a) Base.List.t -> 'a tCreate interface from association list indexed by field names
val iter3 :
'a t ->
'b t ->
'c t ->
f:('a -> 'b -> 'c -> Base.Unit.t) ->
Base.Unit.tval iter4 :
'a t ->
'b t ->
'c t ->
'd t ->
f:('a -> 'b -> 'c -> 'd -> Base.Unit.t) ->
Base.Unit.tval iter5 :
'a t ->
'b t ->
'c t ->
'd t ->
'e t ->
f:('a -> 'b -> 'c -> 'd -> 'e -> Base.Unit.t) ->
Base.Unit.tval fold : 'a t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'accval offsets : ?rev:Base.Bool.t -> Base.Unit.t -> Base.Int.t tOffset of each field within the interface. The first field is placed at the least significant bit, unless the rev argument is true.
val of_interface_list : 'a t Base.List.t -> 'a Base.List.t tTake a list of interfaces and produce a single interface where each field is a list.
val to_interface_list : 'a Base.List.t t -> 'a t Base.List.tCreate a list of interfaces from a single interface where each field is a list. Raises if all lists don't have the same length.
module type Comb = sig ... endmodule Of_signal : sig ... end