Skip to content

Instantly share code, notes, and snippets.

@griffi-gh
Created November 16, 2025 15:34
Show Gist options
  • Select an option

  • Save griffi-gh/7345444577f845328d2056120cee5ef4 to your computer and use it in GitHub Desktop.

Select an option

Save griffi-gh/7345444577f845328d2056120cee5ef4 to your computer and use it in GitHub Desktop.
extend_callback<public>(t0: type, t1: type) := class<computes>:
Value<public>: t0;
Callback<public>: type { _(:t0, :t1): void };
Output<public>(Arg1: t1): void = Callback(Value, Arg1);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment