val is_prefixop : string -> boolval is_infixop0_0 : string -> boolval is_infixop0_1 : string -> boolval is_infixop0_2 : string -> boolval is_infixop0 : string -> boolval is_infixop1 : string -> boolval is_infixop2 : string -> boolval is_infixop3 : string -> boolval is_infixop4 : string -> boolval is_hashop : string -> boolval is_operator0 : string -> boolval is_andop : string -> boolval is_letop : string -> boolval is_operator : string -> boolval is_infix_operator : string -> boolval is_dotop : string -> boolval is_special_op : string -> bool