(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
+(*
module Subst (B : Terms.Blob) :
sig
- val id_subst : B.t Terms.substitution
+*)
+ val id_subst : 'a Terms.substitution
val build_subst :
- int -> B.t Terms.foterm -> B.t Terms.substitution ->
- B.t Terms.substitution
- val lookup_subst :
- int -> B.t Terms.substitution -> B.t Terms.foterm
- val filter : B.t Terms.substitution -> Terms.varlist -> Terms.varlist
+ int -> 'a Terms.foterm -> 'a Terms.substitution ->
+ 'a Terms.substitution
+ val lookup :
+ int -> 'a Terms.substitution -> 'a Terms.foterm
+ val filter : 'a Terms.substitution -> Terms.varlist -> Terms.varlist
+ val reloc_subst :
+ 'a Terms.substitution -> 'a Terms.foterm -> 'a Terms.foterm
val apply_subst :
- B.t Terms.substitution -> B.t Terms.foterm -> B.t Terms.foterm
+ 'a Terms.substitution -> 'a Terms.foterm -> 'a Terms.foterm
+ val flat:
+ 'a Terms.substitution -> 'a Terms.substitution
val concat:
- B.t Terms.substitution -> B.t Terms.substitution ->
- B.t Terms.substitution
- end
+ 'a Terms.substitution -> 'a Terms.substitution ->
+ 'a Terms.substitution
+(* end *)