let context = context
end
in
- let module B : Terms.Blob
+ let module B : Orderings.Blob
with type t = NCic.term and type input = NCic.term
- = NCicBlob.NCicBlob(C)
+ = Orderings.NRKBO(NCicBlob.NCicBlob(C))
in
let module P = Paramod.Paramod(B) in
let module Pp = Pp.Pp(B) in