Transform.MakeCombTransformfunctor to build the function to map a signal to a new combinatorial signal representation
module B : Comb.Primitives with type t = Signal.tval transform : transform_fnfunction which will map signals to a new representation