translation.type_system

• name: type_system
• description: Type system to use when RTyping
• option type: choice option
• possible values:
  • lltype
• default: lltype

Which type system to use when rtyping. This option should not be set explicitly.