Skip to content
Cella Lang
Search
Ctrl
K
Cancel
Select theme
Dark
Light
Auto
Select language
English
繁體中文
Menu
Editor
Guide
What is Cella?
Type theories
Verdicts
Use it from JavaScript
Cella language reference
Packages
Packages
API
Standard library
algebra
array
bool
decidable
either
equiv
fin
foundations
function
functor
hits
hlevel
identity
int
intlinarith
intomega
intring
io
json
linarith
linsys
list
map
meta
monad
nat
omega
operators
option
ord
ordering
path
polyrith
prod
ring
sigma
std
string
tree
unit
vector
winding
@cella-lang/machine
bits
checked
console
dap
debugger
float
statement
@cella-lang/cfamily
arithmetic
behavior
clibrary
conversion
debugging
encoding
evaluation
execution
expressions
files
formatting
generate
integer
layout
lengths
librarycode
lifting
literals
memory
orders
program
querying
representation
resolution
rules
running
scanning
scopes
sequencing
sessions
standardlibrary
state
statements
statics
summaries
syntax
syntaxcollect
syntaxnodes
syntaxtypes
syntaxwalk
tables
typed
typetext
variables
@cella-lang/c
c
declarations
naming
reserved
@cella-lang/cpp
arrays
classes
classrules
construction
constructs
copies
cpp
exceptions
inheritance
lambdas
layouts
library
memberpointers
names
objects
operators
overloading
polymorphism
primitives
ranges
references
runtimetypes
standardexceptions
standardfunctions
standardnames
staticmembers
streams
templates
userconversions
@cella-lang/arduino
arduino
board
pins
@cella-lang/python
builtins
calls
containers
debugging
dispatch
execution
flattening
generators
iterators
lazy
lowering
methods
numbers
objects
operations
printing
python
querying
random
session
sets
sorting
symbols
syntax
text
values
variables
@cella-lang/programlogic
programlogic
About
Select theme
Dark
Light
Auto
Select language
English
繁體中文
syntaxnodes
cfamily.Syntax.node
Section titled “cfamily.Syntax.node”
def
Syntax.node (head : String) (k : Nat) : NodeId
The k-th fresh node under a head.