let
plus i j =
F
.e_iop
Formula
.
Iadd
i j