@define type_defined(type) %(
@defined(& @cast(0, @type))
%)
@define type_member_defined(type, member) %(
@defined(& @cast(0, @type , "kernel") -> @member)
%)
@define module_type_defined(module, type) %(
@defined(& @cast(0, @type, @module))
%)
@define module_type_member_defined(module, type, member) %(
@defined(& @cast(0, @type, @module) -> @member)
%)