resource x type t1 = u8 type t2 = u16 type t3 = u32 type t4 = u64 type t5 = s8 type t6 = s16 type t7 = s32 type t8 = s64 type t9 = f32 type t10 = f64 type t11 = char type t12 = list type t13 = string type t14 = option type t15 = expected type t16 = expected<_, u32> type t17 = expected type t18 = expected<_, _> type t19 = handle x record t20 {} record t21 { a: u32 } record t22 { a: u32, } record t23 { a: u32, b: u64 } record t24 { a: u32, b: u64, } record t25 { "x": u32 } record "record" {} type t26 = tuple<> type t27 = tuple type t28 = tuple type t29 = tuple flags t30 {} flags t31 { a, b, c } flags t32 { a, b, c, } variant t33 { a } variant t34 { a, b } variant t35 { a, b, } variant t36 { a, b(u32), } variant t37 { a, b(option), } union t38 { u32, u64 } union t39 { u32, option } union t40 { u32, option, } enum t41 { a, b, c } enum t42 { a, b, c, } type t43 = bool type t44 = string type t45 = list>> type t46 = t44 type t47 = "t44" type t48 = push-buffer type t49 = pull-buffer // type order doesn't matter type foo = bar type bar = u32