val replace :
equality:(Cic.term -> 'a -> bool) ->
what:'a -> with_what:Cic.term -> where:Cic.term -> Cic.term
val replace_lifting :
equality:(Cic.term -> Cic.term -> bool) ->
what:Cic.term -> with_what:Cic.term -> where:Cic.term -> Cic.term
val replace :
equality:(Cic.term -> 'a -> bool) ->
what:'a -> with_what:Cic.term -> where:Cic.term -> Cic.term
val replace_lifting :
equality:(Cic.term -> Cic.term -> bool) ->
what:Cic.term -> with_what:Cic.term -> where:Cic.term -> Cic.term