Searched refs:def_ (Results 1 – 1 of 1) sorted by relevance
840 - ``def_<type> <value>`` is a shorthand for giving a type and a value at the854 Using both the ``<type> "prompt"`` and the ``def_<type> <value>`` shorthand in857 The ``def_<type> <value>`` shorthand is generally only useful for symbols864 definition of the symbol, and to use ``default`` (instead of ``def_<type>
