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.