- 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)