val is_line_terminator : env -> boolval is_implicit_semicolon : env -> boolval is_identifier : env -> boolval is_type_identifier : env -> boolval is_identifier_name : env -> boolval is_function : env -> boolval is_class : env -> boolval ith_is_line_terminator : i:int -> env -> boolval ith_is_implicit_semicolon : i:int -> env -> boolval ith_is_identifier : i:int -> env -> boolval ith_is_identifier_name : i:int -> env -> boolval ith_is_type_identifier : i:int -> env -> bool