let
altergo = {
ext =
"why"
;
why = [|
"--alt-ergo"
|] ;
wdp = [| |] ;
}