Module type Hardcaml__Interface_intf.Interface

module type Pre_partial = Pre_partial
module type Pre = Pre
module type S = S
module type Ast = Ast
module type Empty = Empty
module Ast : Ast
module Empty : Empty
module type S_with_ast = sig ... end
module Create_fn : functor (I : S) -> functor (O : S) -> sig ... end

Type of functions representing the implementation of a circuit from an input to output interface.

module Make : functor (X : Pre) -> S with type 'a t := 'a X.t
module type S_enum = S_enum
module type S_enums = S_enums
module Make_enums : functor (Enum : Enum) -> S_enums with module Enum := Enum

Constructs a hardcaml interface which represents hardware for the given Enum as an absstract Interface.