Interfaces specify the widths and names of a group of signals, and some functions for manipulating the signals as a group.
They are generally used with ppx_deriving_hardcaml as follows
type t = { ... } [@@deriving sexp_of, hardcaml]The sexp_of is required, and must appear before hardcaml. This syntax generates a call to Interface.Make, which therefore does not need to be explicitly called.
module type Pre_partial = sig ... endmodule type Pre = sig ... endmodule type S = sig ... endmodule type Ast = sig ... endmodule type Empty = sig ... endmodule type S_with_ast = sig ... endType of functions representing the implementation of a circuit from an input to output interface.
module type S_enum = sig ... endmodule type S_enums = sig ... endmodule Make_enums (Enum : sig ... end) : S_enums with module Enum := EnumConstructs a hardcaml interface which represents hardware for the given Enum as an absstract Interface.