chalk_integration
0.97.0-dev.0
In chalk_integration::lowering::program_lowerer
?
Macro
chalk_integration
::
lowering
::
program_lowerer
::
lower_type_kind
source
·
[
−
]
macro_rules!
lower_type_kind { (
$
type
:
ident
,
$sort
: ident,
$params
: expr) => { ... }; }