12345678910111213141516171819202122232425(* This is a hack around Binaryen's stack allocations *)typejsoo=|Int32ofint32|Int64ofint64|Float32Bitsofint32|Float64Bitsofint64|Float32offloat|Float64offloattypet=jsooletint32value=Int32valueletint64value=Int64valueletfloat32_bitsvalue=Float32Bitsvalueletfloat64_bitsvalue=Float64Bitsvalueletfloat32value=Float32valueletfloat64value=Float64value(* This makes our `t` public so we can match on it *)letto_jsoolit=lit