Module erg_compiler::ty::constructors
source · Functions
function type with non-default parameters
Sub <: Sup
NOTE: Always add postfix when entering numbers. For example,
value(1)
will be of type Int.