rotor
Elements.BaseThis module contains types denoting the various elements found in the language, e.g. values, modules, module types, classes, etc.
Each type consists of just a single nullary constructor - they are essentially type-level tags.
Types denoting the implementation/interface dichotomy.
Primary language constructs - these types are prefixed with an underscore in order to prevent their names clashing with keywords.
type _ t = | Value : _value t| Parameter : _parameter t| Functor : _functor t| FunctorType : _functor_type t| Structure : _structure t| StructureType : _structure_type tThe (generalised) abstract type of language elements.
*)val pp : 'a t Containers.Format.printerPretty printer for element kinds.
val _pp : _t Containers.Format.printerPretty printer for existential element kinds.