Module `Hardcaml__.Interface_intf`

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 = sig ... end

module type Ast = sig ... end

module type Comb = sig ... end

module type S = sig ... end

module type Empty = sig ... end

module type Enum = sig ... end: An enumerated type (generally a variant type with no arguments) which should derive compare, enumerate, sexp_of, variants.

module type S_enum = sig ... end: Functions to project an Enum type into and out of hardcaml bit vectors representated as an interface.

module type S_enums = sig ... end: Binary and onehot selectors for Enums.

module type Interface = sig ... end