Module `Hardcaml__.Transform`

include Hardcaml__.Transform_intf.Transform

type 'a transform_fn' = (Hardcaml.Signal.Uid.t -> 'a) -> Hardcaml.Signal.t -> 'a
type transform_fn = Hardcaml.Signal.t transform_fn'

module type TransformFn' = sig ... end

module type TransformFn = sig ... end

module type MakePureCombTransform_arg = Hardcaml__.Transform_intf.MakePureCombTransform_arg

module MakePureCombTransform : functor (B : MakePureCombTransform_arg) -> TransformFn' with type t = B.t: functor to build the function to map a signal to a new combinatorial signal representation

module MakeCombTransform : functor (B : Hardcaml.Comb.Primitives with type t = Hardcaml.Signal.t) -> TransformFn: functor to build the function to map a signal to a new combinatorial signal representation

module CopyTransform : TransformFn: simple copying transform

val rewrite_signals : transform_fn -> Hardcaml.Signal.t Hardcaml__.Import.list -> Hardcaml.Signal.t Hardcaml__.Import.list: rewrites the list of signals based on the given function