| NCic.Inductive (is_ind, lno, itl, (_, `Regular)) ->
let captures, context = build_captures lno itl in
N.Inductive (captures, List.map (build_inductive is_ind lno context) itl)
| NCic.Inductive (is_ind, lno, itl, (_, `Regular)) ->
let captures, context = build_captures lno itl in
N.Inductive (captures, List.map (build_inductive is_ind lno context) itl)