Skip to content

Decl

Jump to bottom
Asher Frost edited this page Jun 7, 2026 · 1 revision

Declerations

Declerations have a greatly expanded use and syntax in STELF.

Decleartions refer to every case of X : T

Clone this wiki locally