Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 7eeea769d5
Fetching contributors…

Cannot retrieve contributors at this time

10 lines (7 sloc) 0.266 kb
val visit_toplevel :
tag_hook:
(Ast_cpp.info -> Highlight_code.category -> unit) ->
Highlight_code.highlighter_preferences ->
(*(Database_php.id * Common.filename * Database_php.database) option -> *)
Ast_cpp.toplevel * Parser_cpp.token list ->
unit
Jump to Line
Something went wrong with that request. Please try again.