package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type CombBaseGates = sig ... end
module MakeCombGates (S : CombBaseGates) : sig ... end
module MakeGates (B : Comb.T) (S : sig ... end) : sig ... end
module MakeAig (B : Comb.T) : sig ... end
module MakeNand (B : Comb.T) : sig ... end
module MakeNor (B : Comb.T) : sig ... end
module Signals : sig ... end
type !'a transform_fn' = (Signal.Types.uid -> 'a) -> Signal.Types.signal -> 'a
module type TransformFn' = sig ... end
module type TransformFn = sig ... end
module MakePureCombTransform (B : Comb.T) : sig ... end
module MakeCombTransform (B : sig ... end) : TransformFn
val rewrite_signals : transform_fn -> Signal.Types.signal list -> Signal.Types.signal list
val rewrite_circuit : transform_fn -> Circuit.t -> Circuit.t