def Window.open

Base · base.bend:483

483def Window.open(title: String, width: U32, height: U32) ->
484  IO(Result<&1, &1, U32 & String, Window>):
485  import "./effs/window.c"
486  import "./effs/window_open.js"