Module erg_compiler::context::initialize::const_func

Functions

class_func

Requirement: Type, Impl := Type -> ClassType

inherit_func

Super: ClassType, Impl := Type, Additional := Type -> ClassType

inheritable_func

Class: ClassType -> ClassType (with InheritableType) This function is used by the compiler to mark a class as inheritable and does nothing in terms of actual operation.

subsume_func

Super: TraitType, Impl := Type, Additional := Type -> TraitType

trait_func

Requirement: Type, Impl := Type -> TraitType