-type eval_ast =
- {ea_go:
- 'term 'lazy_term 'reduction 'obj 'ident.
-
- disambiguate_command:
- (GrafiteTypes.status ->
- (GrafiteAst.command) disambiguator_input ->
- GrafiteTypes.status * GrafiteAst.command) ->
-
- ?do_heavy_checks:bool ->
- GrafiteTypes.status ->
- GrafiteAst.statement disambiguator_input ->
- GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]
- }
-
-type 'a eval_command =
- {ec_go: 'term 'obj.
- disambiguate_command:
- (GrafiteTypes.status -> GrafiteAst.command disambiguator_input ->
- GrafiteTypes.status * GrafiteAst.command) ->
- options -> GrafiteTypes.status ->
- GrafiteAst.command disambiguator_input ->
- GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]
- }
-
-type 'a eval_comment =
- {ecm_go: 'term 'lazy_term 'reduction_kind 'obj 'ident.
- disambiguate_command:
- (GrafiteTypes.status -> GrafiteAst.command disambiguator_input ->
- GrafiteTypes.status * GrafiteAst.command) ->
- options -> GrafiteTypes.status -> GrafiteAst.comment disambiguator_input ->
- GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]
- }
-
-type 'a eval_executable =
- {ee_go: 'term 'lazy_term 'reduction 'obj 'ident.
-
- disambiguate_command:
- (GrafiteTypes.status ->
- GrafiteAst.command disambiguator_input ->
- GrafiteTypes.status * GrafiteAst.command) ->
-
- options ->
- GrafiteTypes.status -> GrafiteAst.code disambiguator_input ->
- GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]
- }
-
-type 'a eval_from_moo =
- { efm_go: GrafiteTypes.status -> string -> GrafiteTypes.status }
-