let
wp_cfg_fun m =
match
m
with
|
M0
->
Cfg0
.cfg
|
M1
->
Cfg1
.cfg
|
M2
->
Cfg2
.cfg
|
M3
->
Cfg3
.cfg