object
method virtual basename : string -> string
method datatype : Lang.ADT.t -> string
method datatypename : string -> string
method field : Lang.Field.t -> string
method fieldname : string -> string
method funname : string -> string
method virtual infoprover : 'a Lang.infoprover -> 'a
method link : Lang.Fun.t -> Qed.Engine.link
end