Reflect

0.40.0

Definitions

def default [a] : a \ Pure

Source

Returns a default value for the inferred type. The value returned should not be depended on; it acts as a placeholder to be replaced by a proper value.