Transform circuits to a different representation.
type 'a transform_fn' = (Signal.Uid.t -> 'a) -> Signal.t -> 'atype transform_fn = Signal.t transform_fn'module type TransformFn' = sig ... endmodule type TransformFn = sig ... endmodule type MakePureCombTransform_arg = sig ... endmodule MakePureCombTransform
(B : MakePureCombTransform_arg) :
TransformFn' with type t = B.tfunctor to build the function to map a signal to a new combinatorial signal representation
module MakeCombTransform
(B : Comb.Primitives with type t = Signal.t) :
TransformFnfunctor to build the function to map a signal to a new combinatorial signal representation
module CopyTransform : TransformFnsimple copying transform
val rewrite_signals :
transform_fn ->
Signal.t Base.List.t ->
Signal.t Base.List.trewrites the list of signals based on the given function