steamid.v/main.v

12 lines
331 B
Coq
Raw Normal View History

2022-08-28 23:45:31 +02:00
module main
import steamid as s
fn main() {
2022-08-28 23:52:19 +02:00
steamid := s.to_steamid32("STEAM_0:1:37792218")
assert steamid == s.SteamID32 { 0, 1, 37792218 }
assert steamid.str() == "STEAM_0:1:37792218"
assert steamid.to_steamid3() == s.SteamID3 { "U", 1, 75584437 }
assert steamid.to_steamid64() == s.SteamID64 { 76561198035850165 }
2022-08-28 23:45:31 +02:00
}