Class type Plugin.core

class type core = object .. end

Core features of a plugin, that don't depend on its type parameter

method signature : ty Libzipperposition.ID.Map.t

Signature of symbols used

method owns : term -> bool

Does this term belong to the plugin?