Module `Transform.MakePureCombTransform`

functor to build the function to map a signal to a new combinatorial signal representation

Parameters

B : MakePureCombTransform_arg

Signature

type t = B.t

val transform : t transform_fn'
val rewrite : t transform_fn' -> Hardcaml.Signal.t Hardcaml.Signal.Uid_map.t -> Hardcaml.Signal.t Hardcaml__.Import.list -> t Hardcaml__.Import.list
val rewrite_signals : t transform_fn' -> Hardcaml.Signal.t Hardcaml__.Import.list -> t Hardcaml__.Import.list