package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
module type TransformFn = 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