Module `Hardcaml.Interface`

include Hardcaml__.Interface_intf.Interface

module type Pre = Hardcaml__.Interface_intf.Pre

module type S = Hardcaml__.Interface_intf.S

module type Ast = Hardcaml__.Interface_intf.Ast

module type Empty = Hardcaml__.Interface_intf.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