parse_as_infix : string * (int * string) -> unit
# strip_comb `n choose k`;; Warning: inventing type variables val it : term * term list = (`n`, [`choose`; `k`]) # parse_as_infix("choose",(22,"right"));; val it : unit = () # strip_comb `n choose k`;; Warning: inventing type variables val it : term * term list = (`(choose)`, [`n`; `k`])