object
  method virtual code : 'level -> Priority.t
  method virtual tag : 'level -> string
end