let
e =
Mes
(Mod
((Obj [
"f"
, (
"x"
, Mes (Mes (Var
"x"
,
"a"
),
"geth"
)) ]),
"a"
,
(
"_"
,
(Obj [
"h"
, (
"_"
, Int 3);
"geth"
, (
"x"
, Mes (Var
"x"
,
"h"
))]))),
"f"
);;