- CicNotationPt.term GrafiteAst.reduction, CicNotationPt.obj, string)
+ CicNotationPt.term GrafiteAst.reduction,
+ CicNotationPt.term CicNotationPt.obj, string)
include_paths:string list ->
LexiconEngine.status ->
LexiconEngine.status * ast_statement localized_option
val parse_statement: Ulexing.lexbuf -> statement (** @raise End_of_file *)
include_paths:string list ->
LexiconEngine.status ->
LexiconEngine.status * ast_statement localized_option
val parse_statement: Ulexing.lexbuf -> statement (** @raise End_of_file *)