list_mk_binop : term -> term list -> term
# list_mk_binop `(+):num->num->num` (map mk_small_numeral (1--10));; val it : term = `1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10`
# list_mk_binop `SUC` [`0`];; val it : term = `0` # list_mk_binop `f:A->B->C` [`x:A`; `y:B`];; val it : term = `f x y`