with type t = string * NCic.term * int * int * NCic.term * NCic.term =
struct
type t = string * NCic.term * int * int * NCic.term * NCic.term
- let compare = Pervasives.compare
+ let compare = Stdlib.compare
end
module CoercionSet = Set.Make(COT)
method coerc_db = db
method set_coerc_db v = {< db = v >}
method set_coercion_status
- : 'status. #g_status as 'status -> 'self
+ : 'status. (#g_status as 'status) -> 'self
= fun o -> {< db = o#coerc_db >}#set_unifhint_status o
end