From 3282a36397aca4f2c4d0f98daa8215c140c5d038 Mon Sep 17 00:00:00 2001 From: Branden J Brown Date: Sun, 4 Jan 2026 00:05:38 -0500 Subject: [PATCH] move character definition to a module --- horse/character.kk | 232 +++++++++++++++++++++++++++++++++++++++++++++ horse/legacy.kk | 232 +-------------------------------------------- 2 files changed, 233 insertions(+), 231 deletions(-) create mode 100644 horse/character.kk diff --git a/horse/character.kk b/horse/character.kk new file mode 100644 index 0000000..c626f87 --- /dev/null +++ b/horse/character.kk @@ -0,0 +1,232 @@ +module horse/character + +// Character identity. +pub type character + Special-Week + Silence-Suzuka + Tokai-Teio + Maruzensky + Fuji-Kiseki + Oguri-Cap + Gold-Ship + Vodka + Daiwa-Scarlet + Taiki-Shuttle + Grass-Wonder + Hishi-Amazon + Mejiro-McQueen + El-Condor-Pasa + TM-Opera-O + Narita-Brian + Symboli-Rudolf + Air-Groove + Agnes-Digital + Seiun-Sky + Biwa-Hayahide + Mayano-Top-Gun + Manhattan-Cafe + Mihono-Bourbon + Mejiro-Ryan + Hishi-Akebono + Rice-Shower + Agnes-Tachyon + Winning-Ticket + Eishin-Flash + Curren-Chan + Kawakami-Princess + Gold-City + Sakura-Bakushin-O + Super-Creek + Smart-Falcon + Tosen-Jordan + Narita-Taishin + Haru-Urara + Matikanefukukitaru + Meisho-Doto + Mejiro-Dober + Nice-Nature + King-Halo + +// Automatically generated. +// Fip comparison of the `character` type. +pub fun character/order2(this : character, other : character) : order2 + match (this, other) + (Special-Week, Special-Week) -> Eq2(Special-Week) + (Special-Week, other') -> Lt2(Special-Week, other') + (this', Special-Week) -> Gt2(Special-Week, this') + (Silence-Suzuka, Silence-Suzuka) -> Eq2(Silence-Suzuka) + (Silence-Suzuka, other') -> Lt2(Silence-Suzuka, other') + (this', Silence-Suzuka) -> Gt2(Silence-Suzuka, this') + (Tokai-Teio, Tokai-Teio) -> Eq2(Tokai-Teio) + (Tokai-Teio, other') -> Lt2(Tokai-Teio, other') + (this', Tokai-Teio) -> Gt2(Tokai-Teio, this') + (Maruzensky, Maruzensky) -> Eq2(Maruzensky) + (Maruzensky, other') -> Lt2(Maruzensky, other') + (this', Maruzensky) -> Gt2(Maruzensky, this') + (Fuji-Kiseki, Fuji-Kiseki) -> Eq2(Fuji-Kiseki) + (Fuji-Kiseki, other') -> Lt2(Fuji-Kiseki, other') + (this', Fuji-Kiseki) -> Gt2(Fuji-Kiseki, this') + (Oguri-Cap, Oguri-Cap) -> Eq2(Oguri-Cap) + (Oguri-Cap, other') -> Lt2(Oguri-Cap, other') + (this', Oguri-Cap) -> Gt2(Oguri-Cap, this') + (Gold-Ship, Gold-Ship) -> Eq2(Gold-Ship) + (Gold-Ship, other') -> Lt2(Gold-Ship, other') + (this', Gold-Ship) -> Gt2(Gold-Ship, this') + (Vodka, Vodka) -> Eq2(Vodka) + (Vodka, other') -> Lt2(Vodka, other') + (this', Vodka) -> Gt2(Vodka, this') + (Daiwa-Scarlet, Daiwa-Scarlet) -> Eq2(Daiwa-Scarlet) + (Daiwa-Scarlet, other') -> Lt2(Daiwa-Scarlet, other') + (this', Daiwa-Scarlet) -> Gt2(Daiwa-Scarlet, this') + (Taiki-Shuttle, Taiki-Shuttle) -> Eq2(Taiki-Shuttle) + (Taiki-Shuttle, other') -> Lt2(Taiki-Shuttle, other') + (this', Taiki-Shuttle) -> Gt2(Taiki-Shuttle, this') + (Grass-Wonder, Grass-Wonder) -> Eq2(Grass-Wonder) + (Grass-Wonder, other') -> Lt2(Grass-Wonder, other') + (this', Grass-Wonder) -> Gt2(Grass-Wonder, this') + (Hishi-Amazon, Hishi-Amazon) -> Eq2(Hishi-Amazon) + (Hishi-Amazon, other') -> Lt2(Hishi-Amazon, other') + (this', Hishi-Amazon) -> Gt2(Hishi-Amazon, this') + (Mejiro-McQueen, Mejiro-McQueen) -> Eq2(Mejiro-McQueen) + (Mejiro-McQueen, other') -> Lt2(Mejiro-McQueen, other') + (this', Mejiro-McQueen) -> Gt2(Mejiro-McQueen, this') + (El-Condor-Pasa, El-Condor-Pasa) -> Eq2(El-Condor-Pasa) + (El-Condor-Pasa, other') -> Lt2(El-Condor-Pasa, other') + (this', El-Condor-Pasa) -> Gt2(El-Condor-Pasa, this') + (TM-Opera-O, TM-Opera-O) -> Eq2(TM-Opera-O) + (TM-Opera-O, other') -> Lt2(TM-Opera-O, other') + (this', TM-Opera-O) -> Gt2(TM-Opera-O, this') + (Narita-Brian, Narita-Brian) -> Eq2(Narita-Brian) + (Narita-Brian, other') -> Lt2(Narita-Brian, other') + (this', Narita-Brian) -> Gt2(Narita-Brian, this') + (Symboli-Rudolf, Symboli-Rudolf) -> Eq2(Symboli-Rudolf) + (Symboli-Rudolf, other') -> Lt2(Symboli-Rudolf, other') + (this', Symboli-Rudolf) -> Gt2(Symboli-Rudolf, this') + (Air-Groove, Air-Groove) -> Eq2(Air-Groove) + (Air-Groove, other') -> Lt2(Air-Groove, other') + (this', Air-Groove) -> Gt2(Air-Groove, this') + (Agnes-Digital, Agnes-Digital) -> Eq2(Agnes-Digital) + (Agnes-Digital, other') -> Lt2(Agnes-Digital, other') + (this', Agnes-Digital) -> Gt2(Agnes-Digital, this') + (Seiun-Sky, Seiun-Sky) -> Eq2(Seiun-Sky) + (Seiun-Sky, other') -> Lt2(Seiun-Sky, other') + (this', Seiun-Sky) -> Gt2(Seiun-Sky, this') + (Biwa-Hayahide, Biwa-Hayahide) -> Eq2(Biwa-Hayahide) + (Biwa-Hayahide, other') -> Lt2(Biwa-Hayahide, other') + (this', Biwa-Hayahide) -> Gt2(Biwa-Hayahide, this') + (Mayano-Top-Gun, Mayano-Top-Gun) -> Eq2(Mayano-Top-Gun) + (Mayano-Top-Gun, other') -> Lt2(Mayano-Top-Gun, other') + (this', Mayano-Top-Gun) -> Gt2(Mayano-Top-Gun, this') + (Manhattan-Cafe, Manhattan-Cafe) -> Eq2(Manhattan-Cafe) + (Manhattan-Cafe, other') -> Lt2(Manhattan-Cafe, other') + (this', Manhattan-Cafe) -> Gt2(Manhattan-Cafe, this') + (Mihono-Bourbon, Mihono-Bourbon) -> Eq2(Mihono-Bourbon) + (Mihono-Bourbon, other') -> Lt2(Mihono-Bourbon, other') + (this', Mihono-Bourbon) -> Gt2(Mihono-Bourbon, this') + (Mejiro-Ryan, Mejiro-Ryan) -> Eq2(Mejiro-Ryan) + (Mejiro-Ryan, other') -> Lt2(Mejiro-Ryan, other') + (this', Mejiro-Ryan) -> Gt2(Mejiro-Ryan, this') + (Hishi-Akebono, Hishi-Akebono) -> Eq2(Hishi-Akebono) + (Hishi-Akebono, other') -> Lt2(Hishi-Akebono, other') + (this', Hishi-Akebono) -> Gt2(Hishi-Akebono, this') + (Rice-Shower, Rice-Shower) -> Eq2(Rice-Shower) + (Rice-Shower, other') -> Lt2(Rice-Shower, other') + (this', Rice-Shower) -> Gt2(Rice-Shower, this') + (Agnes-Tachyon, Agnes-Tachyon) -> Eq2(Agnes-Tachyon) + (Agnes-Tachyon, other') -> Lt2(Agnes-Tachyon, other') + (this', Agnes-Tachyon) -> Gt2(Agnes-Tachyon, this') + (Winning-Ticket, Winning-Ticket) -> Eq2(Winning-Ticket) + (Winning-Ticket, other') -> Lt2(Winning-Ticket, other') + (this', Winning-Ticket) -> Gt2(Winning-Ticket, this') + (Eishin-Flash, Eishin-Flash) -> Eq2(Eishin-Flash) + (Eishin-Flash, other') -> Lt2(Eishin-Flash, other') + (this', Eishin-Flash) -> Gt2(Eishin-Flash, this') + (Curren-Chan, Curren-Chan) -> Eq2(Curren-Chan) + (Curren-Chan, other') -> Lt2(Curren-Chan, other') + (this', Curren-Chan) -> Gt2(Curren-Chan, this') + (Kawakami-Princess, Kawakami-Princess) -> Eq2(Kawakami-Princess) + (Kawakami-Princess, other') -> Lt2(Kawakami-Princess, other') + (this', Kawakami-Princess) -> Gt2(Kawakami-Princess, this') + (Gold-City, Gold-City) -> Eq2(Gold-City) + (Gold-City, other') -> Lt2(Gold-City, other') + (this', Gold-City) -> Gt2(Gold-City, this') + (Sakura-Bakushin-O, Sakura-Bakushin-O) -> Eq2(Sakura-Bakushin-O) + (Sakura-Bakushin-O, other') -> Lt2(Sakura-Bakushin-O, other') + (this', Sakura-Bakushin-O) -> Gt2(Sakura-Bakushin-O, this') + (Super-Creek, Super-Creek) -> Eq2(Super-Creek) + (Super-Creek, other') -> Lt2(Super-Creek, other') + (this', Super-Creek) -> Gt2(Super-Creek, this') + (Smart-Falcon, Smart-Falcon) -> Eq2(Smart-Falcon) + (Smart-Falcon, other') -> Lt2(Smart-Falcon, other') + (this', Smart-Falcon) -> Gt2(Smart-Falcon, this') + (Tosen-Jordan, Tosen-Jordan) -> Eq2(Tosen-Jordan) + (Tosen-Jordan, other') -> Lt2(Tosen-Jordan, other') + (this', Tosen-Jordan) -> Gt2(Tosen-Jordan, this') + (Narita-Taishin, Narita-Taishin) -> Eq2(Narita-Taishin) + (Narita-Taishin, other') -> Lt2(Narita-Taishin, other') + (this', Narita-Taishin) -> Gt2(Narita-Taishin, this') + (Haru-Urara, Haru-Urara) -> Eq2(Haru-Urara) + (Haru-Urara, other') -> Lt2(Haru-Urara, other') + (this', Haru-Urara) -> Gt2(Haru-Urara, this') + (Matikanefukukitaru, Matikanefukukitaru) -> Eq2(Matikanefukukitaru) + (Matikanefukukitaru, other') -> Lt2(Matikanefukukitaru, other') + (this', Matikanefukukitaru) -> Gt2(Matikanefukukitaru, this') + (Meisho-Doto, Meisho-Doto) -> Eq2(Meisho-Doto) + (Meisho-Doto, other') -> Lt2(Meisho-Doto, other') + (this', Meisho-Doto) -> Gt2(Meisho-Doto, this') + (Mejiro-Dober, Mejiro-Dober) -> Eq2(Mejiro-Dober) + (Mejiro-Dober, other') -> Lt2(Mejiro-Dober, other') + (this', Mejiro-Dober) -> Gt2(Mejiro-Dober, this') + (Nice-Nature, Nice-Nature) -> Eq2(Nice-Nature) + (Nice-Nature, other') -> Lt2(Nice-Nature, other') + (this', Nice-Nature) -> Gt2(Nice-Nature, this') + (King-Halo, King-Halo) -> Eq2(King-Halo) + +// Automatically generated. +// Shows a string representation of the `character` type. +pub fun character/show(this : character) : string + match this + Special-Week -> "Special Week" + Silence-Suzuka -> "Silence Suzuka" + Tokai-Teio -> "Tokai Teio" + Maruzensky -> "Maruzensky" + Fuji-Kiseki -> "Fuji Kiseki" + Oguri-Cap -> "Oguri Cap" + Gold-Ship -> "Gold Ship" + Vodka -> "Vodka" + Daiwa-Scarlet -> "Daiwa Scarlet" + Taiki-Shuttle -> "Taiki Shuttle" + Grass-Wonder -> "Grass Wonder" + Hishi-Amazon -> "Hishi Amazon" + Mejiro-McQueen -> "Mejiro McQueen" + El-Condor-Pasa -> "El Condor Pasa" + TM-Opera-O -> "TM Opera O" + Narita-Brian -> "Narita Brian" + Symboli-Rudolf -> "Symboli Rudolf" + Air-Groove -> "Air Groove" + Agnes-Digital -> "Agnes Digital" + Seiun-Sky -> "Seiun Sky" + Biwa-Hayahide -> "Biwa Hayahide" + Mayano-Top-Gun -> "Mayano Top Gun" + Manhattan-Cafe -> "Manhattan Cafe" + Mihono-Bourbon -> "Mihono Bourbon" + Mejiro-Ryan -> "Mejiro Ryan" + Hishi-Akebono -> "Hishi Akebono" + Rice-Shower -> "Rice Shower" + Agnes-Tachyon -> "Agnes Tachyon" + Winning-Ticket -> "Winning Ticket" + Eishin-Flash -> "Eishin Flash" + Curren-Chan -> "Curren Chan" + Kawakami-Princess -> "Kawakami Princess" + Gold-City -> "Gold City" + Sakura-Bakushin-O -> "Sakura Bakushin O" + Super-Creek -> "Super Creek" + Smart-Falcon -> "Smart Falcon" + Tosen-Jordan -> "Tosen Jordan" + Narita-Taishin -> "Narita Taishin" + Haru-Urara -> "Haru Urara" + Matikanefukukitaru -> "Matikanefukukitaru" + Meisho-Doto -> "Meisho Doto" + Mejiro-Dober -> "Mejiro Dober" + Nice-Nature -> "Nice Nature" + King-Halo -> "King Halo" diff --git a/horse/legacy.kk b/horse/legacy.kk index a4f632f..2c0d7d2 100644 --- a/horse/legacy.kk +++ b/horse/legacy.kk @@ -1,5 +1,6 @@ module horse/legacy +import horse/character import horse/race import horse/spark @@ -14,234 +15,3 @@ pub struct veteran unique: maybe> generic: list> results: list - -// Character identity. -pub type character - Special-Week - Silence-Suzuka - Tokai-Teio - Maruzensky - Fuji-Kiseki - Oguri-Cap - Gold-Ship - Vodka - Daiwa-Scarlet - Taiki-Shuttle - Grass-Wonder - Hishi-Amazon - Mejiro-McQueen - El-Condor-Pasa - TM-Opera-O - Narita-Brian - Symboli-Rudolf - Air-Groove - Agnes-Digital - Seiun-Sky - Biwa-Hayahide - Mayano-Top-Gun - Manhattan-Cafe - Mihono-Bourbon - Mejiro-Ryan - Hishi-Akebono - Rice-Shower - Agnes-Tachyon - Winning-Ticket - Eishin-Flash - Curren-Chan - Kawakami-Princess - Gold-City - Sakura-Bakushin-O - Super-Creek - Smart-Falcon - Tosen-Jordan - Narita-Taishin - Haru-Urara - Matikanefukukitaru - Meisho-Doto - Mejiro-Dober - Nice-Nature - King-Halo - -// Automatically generated. -// Fip comparison of the `character` type. -pub fun character/order2(this : character, other : character) : order2 - match (this, other) - (Special-Week, Special-Week) -> Eq2(Special-Week) - (Special-Week, other') -> Lt2(Special-Week, other') - (this', Special-Week) -> Gt2(Special-Week, this') - (Silence-Suzuka, Silence-Suzuka) -> Eq2(Silence-Suzuka) - (Silence-Suzuka, other') -> Lt2(Silence-Suzuka, other') - (this', Silence-Suzuka) -> Gt2(Silence-Suzuka, this') - (Tokai-Teio, Tokai-Teio) -> Eq2(Tokai-Teio) - (Tokai-Teio, other') -> Lt2(Tokai-Teio, other') - (this', Tokai-Teio) -> Gt2(Tokai-Teio, this') - (Maruzensky, Maruzensky) -> Eq2(Maruzensky) - (Maruzensky, other') -> Lt2(Maruzensky, other') - (this', Maruzensky) -> Gt2(Maruzensky, this') - (Fuji-Kiseki, Fuji-Kiseki) -> Eq2(Fuji-Kiseki) - (Fuji-Kiseki, other') -> Lt2(Fuji-Kiseki, other') - (this', Fuji-Kiseki) -> Gt2(Fuji-Kiseki, this') - (Oguri-Cap, Oguri-Cap) -> Eq2(Oguri-Cap) - (Oguri-Cap, other') -> Lt2(Oguri-Cap, other') - (this', Oguri-Cap) -> Gt2(Oguri-Cap, this') - (Gold-Ship, Gold-Ship) -> Eq2(Gold-Ship) - (Gold-Ship, other') -> Lt2(Gold-Ship, other') - (this', Gold-Ship) -> Gt2(Gold-Ship, this') - (Vodka, Vodka) -> Eq2(Vodka) - (Vodka, other') -> Lt2(Vodka, other') - (this', Vodka) -> Gt2(Vodka, this') - (Daiwa-Scarlet, Daiwa-Scarlet) -> Eq2(Daiwa-Scarlet) - (Daiwa-Scarlet, other') -> Lt2(Daiwa-Scarlet, other') - (this', Daiwa-Scarlet) -> Gt2(Daiwa-Scarlet, this') - (Taiki-Shuttle, Taiki-Shuttle) -> Eq2(Taiki-Shuttle) - (Taiki-Shuttle, other') -> Lt2(Taiki-Shuttle, other') - (this', Taiki-Shuttle) -> Gt2(Taiki-Shuttle, this') - (Grass-Wonder, Grass-Wonder) -> Eq2(Grass-Wonder) - (Grass-Wonder, other') -> Lt2(Grass-Wonder, other') - (this', Grass-Wonder) -> Gt2(Grass-Wonder, this') - (Hishi-Amazon, Hishi-Amazon) -> Eq2(Hishi-Amazon) - (Hishi-Amazon, other') -> Lt2(Hishi-Amazon, other') - (this', Hishi-Amazon) -> Gt2(Hishi-Amazon, this') - (Mejiro-McQueen, Mejiro-McQueen) -> Eq2(Mejiro-McQueen) - (Mejiro-McQueen, other') -> Lt2(Mejiro-McQueen, other') - (this', Mejiro-McQueen) -> Gt2(Mejiro-McQueen, this') - (El-Condor-Pasa, El-Condor-Pasa) -> Eq2(El-Condor-Pasa) - (El-Condor-Pasa, other') -> Lt2(El-Condor-Pasa, other') - (this', El-Condor-Pasa) -> Gt2(El-Condor-Pasa, this') - (TM-Opera-O, TM-Opera-O) -> Eq2(TM-Opera-O) - (TM-Opera-O, other') -> Lt2(TM-Opera-O, other') - (this', TM-Opera-O) -> Gt2(TM-Opera-O, this') - (Narita-Brian, Narita-Brian) -> Eq2(Narita-Brian) - (Narita-Brian, other') -> Lt2(Narita-Brian, other') - (this', Narita-Brian) -> Gt2(Narita-Brian, this') - (Symboli-Rudolf, Symboli-Rudolf) -> Eq2(Symboli-Rudolf) - (Symboli-Rudolf, other') -> Lt2(Symboli-Rudolf, other') - (this', Symboli-Rudolf) -> Gt2(Symboli-Rudolf, this') - (Air-Groove, Air-Groove) -> Eq2(Air-Groove) - (Air-Groove, other') -> Lt2(Air-Groove, other') - (this', Air-Groove) -> Gt2(Air-Groove, this') - (Agnes-Digital, Agnes-Digital) -> Eq2(Agnes-Digital) - (Agnes-Digital, other') -> Lt2(Agnes-Digital, other') - (this', Agnes-Digital) -> Gt2(Agnes-Digital, this') - (Seiun-Sky, Seiun-Sky) -> Eq2(Seiun-Sky) - (Seiun-Sky, other') -> Lt2(Seiun-Sky, other') - (this', Seiun-Sky) -> Gt2(Seiun-Sky, this') - (Biwa-Hayahide, Biwa-Hayahide) -> Eq2(Biwa-Hayahide) - (Biwa-Hayahide, other') -> Lt2(Biwa-Hayahide, other') - (this', Biwa-Hayahide) -> Gt2(Biwa-Hayahide, this') - (Mayano-Top-Gun, Mayano-Top-Gun) -> Eq2(Mayano-Top-Gun) - (Mayano-Top-Gun, other') -> Lt2(Mayano-Top-Gun, other') - (this', Mayano-Top-Gun) -> Gt2(Mayano-Top-Gun, this') - (Manhattan-Cafe, Manhattan-Cafe) -> Eq2(Manhattan-Cafe) - (Manhattan-Cafe, other') -> Lt2(Manhattan-Cafe, other') - (this', Manhattan-Cafe) -> Gt2(Manhattan-Cafe, this') - (Mihono-Bourbon, Mihono-Bourbon) -> Eq2(Mihono-Bourbon) - (Mihono-Bourbon, other') -> Lt2(Mihono-Bourbon, other') - (this', Mihono-Bourbon) -> Gt2(Mihono-Bourbon, this') - (Mejiro-Ryan, Mejiro-Ryan) -> Eq2(Mejiro-Ryan) - (Mejiro-Ryan, other') -> Lt2(Mejiro-Ryan, other') - (this', Mejiro-Ryan) -> Gt2(Mejiro-Ryan, this') - (Hishi-Akebono, Hishi-Akebono) -> Eq2(Hishi-Akebono) - (Hishi-Akebono, other') -> Lt2(Hishi-Akebono, other') - (this', Hishi-Akebono) -> Gt2(Hishi-Akebono, this') - (Rice-Shower, Rice-Shower) -> Eq2(Rice-Shower) - (Rice-Shower, other') -> Lt2(Rice-Shower, other') - (this', Rice-Shower) -> Gt2(Rice-Shower, this') - (Agnes-Tachyon, Agnes-Tachyon) -> Eq2(Agnes-Tachyon) - (Agnes-Tachyon, other') -> Lt2(Agnes-Tachyon, other') - (this', Agnes-Tachyon) -> Gt2(Agnes-Tachyon, this') - (Winning-Ticket, Winning-Ticket) -> Eq2(Winning-Ticket) - (Winning-Ticket, other') -> Lt2(Winning-Ticket, other') - (this', Winning-Ticket) -> Gt2(Winning-Ticket, this') - (Eishin-Flash, Eishin-Flash) -> Eq2(Eishin-Flash) - (Eishin-Flash, other') -> Lt2(Eishin-Flash, other') - (this', Eishin-Flash) -> Gt2(Eishin-Flash, this') - (Curren-Chan, Curren-Chan) -> Eq2(Curren-Chan) - (Curren-Chan, other') -> Lt2(Curren-Chan, other') - (this', Curren-Chan) -> Gt2(Curren-Chan, this') - (Kawakami-Princess, Kawakami-Princess) -> Eq2(Kawakami-Princess) - (Kawakami-Princess, other') -> Lt2(Kawakami-Princess, other') - (this', Kawakami-Princess) -> Gt2(Kawakami-Princess, this') - (Gold-City, Gold-City) -> Eq2(Gold-City) - (Gold-City, other') -> Lt2(Gold-City, other') - (this', Gold-City) -> Gt2(Gold-City, this') - (Sakura-Bakushin-O, Sakura-Bakushin-O) -> Eq2(Sakura-Bakushin-O) - (Sakura-Bakushin-O, other') -> Lt2(Sakura-Bakushin-O, other') - (this', Sakura-Bakushin-O) -> Gt2(Sakura-Bakushin-O, this') - (Super-Creek, Super-Creek) -> Eq2(Super-Creek) - (Super-Creek, other') -> Lt2(Super-Creek, other') - (this', Super-Creek) -> Gt2(Super-Creek, this') - (Smart-Falcon, Smart-Falcon) -> Eq2(Smart-Falcon) - (Smart-Falcon, other') -> Lt2(Smart-Falcon, other') - (this', Smart-Falcon) -> Gt2(Smart-Falcon, this') - (Tosen-Jordan, Tosen-Jordan) -> Eq2(Tosen-Jordan) - (Tosen-Jordan, other') -> Lt2(Tosen-Jordan, other') - (this', Tosen-Jordan) -> Gt2(Tosen-Jordan, this') - (Narita-Taishin, Narita-Taishin) -> Eq2(Narita-Taishin) - (Narita-Taishin, other') -> Lt2(Narita-Taishin, other') - (this', Narita-Taishin) -> Gt2(Narita-Taishin, this') - (Haru-Urara, Haru-Urara) -> Eq2(Haru-Urara) - (Haru-Urara, other') -> Lt2(Haru-Urara, other') - (this', Haru-Urara) -> Gt2(Haru-Urara, this') - (Matikanefukukitaru, Matikanefukukitaru) -> Eq2(Matikanefukukitaru) - (Matikanefukukitaru, other') -> Lt2(Matikanefukukitaru, other') - (this', Matikanefukukitaru) -> Gt2(Matikanefukukitaru, this') - (Meisho-Doto, Meisho-Doto) -> Eq2(Meisho-Doto) - (Meisho-Doto, other') -> Lt2(Meisho-Doto, other') - (this', Meisho-Doto) -> Gt2(Meisho-Doto, this') - (Mejiro-Dober, Mejiro-Dober) -> Eq2(Mejiro-Dober) - (Mejiro-Dober, other') -> Lt2(Mejiro-Dober, other') - (this', Mejiro-Dober) -> Gt2(Mejiro-Dober, this') - (Nice-Nature, Nice-Nature) -> Eq2(Nice-Nature) - (Nice-Nature, other') -> Lt2(Nice-Nature, other') - (this', Nice-Nature) -> Gt2(Nice-Nature, this') - (King-Halo, King-Halo) -> Eq2(King-Halo) - -// Automatically generated. -// Shows a string representation of the `character` type. -pub fun character/show(this : character) : string - match this - Special-Week -> "Special Week" - Silence-Suzuka -> "Silence Suzuka" - Tokai-Teio -> "Tokai Teio" - Maruzensky -> "Maruzensky" - Fuji-Kiseki -> "Fuji Kiseki" - Oguri-Cap -> "Oguri Cap" - Gold-Ship -> "Gold Ship" - Vodka -> "Vodka" - Daiwa-Scarlet -> "Daiwa Scarlet" - Taiki-Shuttle -> "Taiki Shuttle" - Grass-Wonder -> "Grass Wonder" - Hishi-Amazon -> "Hishi Amazon" - Mejiro-McQueen -> "Mejiro McQueen" - El-Condor-Pasa -> "El Condor Pasa" - TM-Opera-O -> "TM Opera O" - Narita-Brian -> "Narita Brian" - Symboli-Rudolf -> "Symboli Rudolf" - Air-Groove -> "Air Groove" - Agnes-Digital -> "Agnes Digital" - Seiun-Sky -> "Seiun Sky" - Biwa-Hayahide -> "Biwa Hayahide" - Mayano-Top-Gun -> "Mayano Top Gun" - Manhattan-Cafe -> "Manhattan Cafe" - Mihono-Bourbon -> "Mihono Bourbon" - Mejiro-Ryan -> "Mejiro Ryan" - Hishi-Akebono -> "Hishi Akebono" - Rice-Shower -> "Rice Shower" - Agnes-Tachyon -> "Agnes Tachyon" - Winning-Ticket -> "Winning Ticket" - Eishin-Flash -> "Eishin Flash" - Curren-Chan -> "Curren Chan" - Kawakami-Princess -> "Kawakami Princess" - Gold-City -> "Gold City" - Sakura-Bakushin-O -> "Sakura Bakushin O" - Super-Creek -> "Super Creek" - Smart-Falcon -> "Smart Falcon" - Tosen-Jordan -> "Tosen Jordan" - Narita-Taishin -> "Narita Taishin" - Haru-Urara -> "Haru Urara" - Matikanefukukitaru -> "Matikanefukukitaru" - Meisho-Doto -> "Meisho Doto" - Mejiro-Dober -> "Mejiro Dober" - Nice-Nature -> "Nice Nature" - King-Halo -> "King Halo"