def Window.set_title

Base · base.bend:493

import Base
493def Window.set_title(window: Window, title: String) -> IO(Window):
494  import "./effs/window.c"
495  import "./effs/window_set_title.js"

Uses (3)

Used by (0)

No other definition uses this definition.