and aux_definition env (params, var, term, i) =
(List.map (aux_capture_var env) params, aux_capture_var env var, aux env term, i)
and aux_substs env substs =
and aux_definition env (params, var, term, i) =
(List.map (aux_capture_var env) params, aux_capture_var env var, aux env term, i)
and aux_substs env substs =