Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

14 lines (10 sloc) 0.344 kb
(*s: parsing2.mli *)
(* internally memoize the parsing part in _hmemo_file *)
val tokens_with_categ_of_file:
Common.filename ->
(string, Database_code.entity) Hashtbl.t ->
(string * Highlight_code.category option * Common2.filepos) list
(* helpers *)
val use_arity_of_use_count:
int -> Highlight_code.use_arity
(*e: parsing2.mli *)
Jump to Line
Something went wrong with that request. Please try again.