GrafiteTypes.status ->
string * int *
GrafiteAst.statement ->
- (GrafiteTypes.status *
- (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) option) list
+ GrafiteTypes.status
-val assert_ng: include_paths:string list -> string -> bool
+val assert_ng: include_paths:string list -> ?outch:out_channel -> string -> bool