Module erg_compiler::context::initialize::const_func

source · [−]

Functions

class_func
Requirement: Type, Impl := Type -> ClassType
inherit_func
Super: Type, 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: Type, Impl := Type, Additional := Type -> ClassType
trait_func
Requirement: Type, Impl := Type -> ClassType