389
390
dots (statement old_metas table minus) code
390
391
| Ast0.Case(case,exp,colon,code) ->
391
392
dots (statement old_metas table minus) code
393
| Ast0.DisjCase(_,case_lines,_,_) ->
392
395
| Ast0.OptCase(case) -> failwith "unexpected code"
394
397
(* --------------------------------------------------------------------- *)