let
signal_macro_to_int m =
match
m
with
|
Delay_Memory_Length_int
->
10000