def IO.random_u32

import Base

228def IO.random_u32() -> IO(Result<&1, &1, U32 & String, U32>):
229  import "./effs/random_u32.c"
230  import "./effs/random_u32.js"

Uses (5)