let
cmp a b =
Cmd
(
S
[
A
"cmp"
;
P
a;
Px
b])