lhand : term -> term
# lhand `1 + 2`;; val it : term = `1` # lhand `2 + 2 = 4`;; val it : term = `2 + 2` # lhand `f x y z`;; Warning: inventing type variables val it : term = `y` # lhand `if p then q else r`;; Warning: inventing type variables val it : term = `q`