let context = context
end
in
- let module B = NCicBlob.NCicBlob(C) in
+ let module B : Terms.Blob
+ with type t = NCic.term and type input = NCic.term
+ = NCicBlob.NCicBlob(C)
+ in
let module P = Paramod.Paramod(B) in
let bag, maxvar = Terms.M.empty, 0 in
let (bag,maxvar), passives =