(fst_row :: List.flatten tl_rows
@ [ break; keyword "in"; break; k where ])))
| Ast.Implicit `JustOne -> builtin_symbol "?"
- | Ast.Implicit `Vector -> builtin_symbol "..."
+ | Ast.Implicit `Vector -> builtin_symbol "…"
| Ast.Meta (n, l) ->
let local_context l =
List.map (function None -> None | Some t -> Some (k t)) l