metasenv,GrafiteAst.Clear (loc,id)
| GrafiteAst.ClearBody (loc,id) ->
metasenv,GrafiteAst.ClearBody (loc,id)
- | GrafiteAst.Compose (loc, t1, t2, spec) ->
+ | GrafiteAst.Compose (loc, t1, t2, times, spec) ->
let metasenv,t1 = disambiguate_term context metasenv t1 in
- let metasenv,t2 = disambiguate_term context metasenv t2 in
- metasenv, GrafiteAst.Compose (loc, t1, t2, spec)
+ let metasenv,t2 =
+ match t2 with
+ | None -> metasenv, None
+ | Some t2 ->
+ let m, t2 = disambiguate_term context metasenv t2 in
+ m, Some t2
+ in
+ metasenv, GrafiteAst.Compose (loc, t1, t2, times, spec)
| GrafiteAst.Constructor (loc,n) ->
metasenv,GrafiteAst.Constructor (loc,n)
| GrafiteAst.Contradiction loc ->