object
  method owns : Plugin.term -> bool
  method signature : Plugin.ty Libzipperposition.ID.Map.t
end