Module erg_compiler::ty::constructors
source · Functions§
- function type with non-default parameters
- Sub <: Sup
UnsizedList
is a type of[x; _]
(unsized list literal).UnsizedList(T) != List(T, _)
- NOTE: Always add postfix when entering numbers. For example,
value(1)
will be of type Int.