Types
Verum has a single type-definition form: type T is .... What
Refinement Types
A refinement type is a type together with a predicate that every
Dependent Types
Verum supports full dependent types — types that depend on values.
Protocols
A protocol is Verum's interface mechanism — a set of method and
Generics
Type parameters, bounds, HKT, existentials, kind annotations, context polymorphism, universe polymorphism.
Type Properties
Compile-time type metadata via T.size, T.alignment, T.name, and friends.
Capability Types
Type-safe capability attenuation with `T with [Read, Write, ...]`.