Expand description
(kind of) Safe and (kind of) rust-y bindings over (ngn/)k
Use is almost identical to C except types
Modules§
- raw
- Raw, unsafe bindings to C generated by bindgen
Functions§
- CK
- FK
- IK
- K0
- Execute K code in s with arguments f
- KA
- Assign variables s to values v
- KC
- KE
- KF
- KI
- KL
- KR
- Register extension s doing f of arity a
- KS
- Kc
- Kf
- Ki
- Kref
- Increment ref count
- Ks
- Kunref
- Decrement ref count
- LK
- NK
- TK
- cK
- dK
- fK
- iK
- kinit