]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/basic_rg/brgSubstitution.ml
module G = Options
module B = Brg
module G = Options
module B = Brg
let rec icm a = function
| B.Sort _
| B.LRef _
let rec icm a = function
| B.Sort _
| B.LRef _
*)
iter (lift_map h) d t
end
*)
iter (lift_map h) d t
end