translation.type_system

• 名称： type_system
• 描述： RTyping 时使用的类型系统
• 选项类型： 选择选项
• 可能的值
  • lltype
• 默认值： lltype

在 rtyping 时使用的类型系统。此选项不应显式设置。