Module `Transform.MakeCombTransform`

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

Parameters

B : Comb.Primitives with type t = Signal.t

Signature

val transform : transform_fn: function which will map signals to a new representation