- (CicNotationPt.term, CicNotationPt.term,
- CicNotationPt.term GrafiteAst.reduction, CicNotationPt.obj, string)
- GrafiteAst.statement ->
- ((GrafiteTypes.status * LexiconEngine.status) *
- (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) option
- ) list
+ string * int *
+ ((CicNotationPt.term, CicNotationPt.term,
+ CicNotationPt.term GrafiteAst.reduction, CicNotationPt.term CicNotationPt.obj, string)
+ GrafiteAst.statement) ->
+ (GrafiteTypes.status *
+ (DisambiguateTypes.domain_item * LexiconAst.alias_spec) option) list