* the function is ReductionStrategy.from_env_for_unwind when psubst is
* used to implement nCicReduction.unwind' *)
val psubst :
- ?avoid_beta_redexes:bool -> bool -> int ->
+ ?avoid_beta_redexes:bool ->
('a -> NCic.term) -> 'a list -> NCic.term ->
NCic.term