CSY/reowolf Files · std/std.global.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ da78c370c179

Branch filter:

Location: CSY/reowolf/std/std.global.pdl

da78c370c179 412 B text/plain Show Annotation Show as Raw Download as Raw

Update and finish documentation on old consensus algorithm

#module std.global

func get<T>(in<T> input) -> T { #builtin }
func put<T>(out<T> output, T value) -> #type_void { #builtin }
func fires<T>(#type_portlike<T> port) -> bool { #builtin }
func create<T>(#type_integerlike len) -> T[] { #builtin }
func length<T>(#type_arraylike<T> array) -> u32 { #builtin }
func assert(bool condition) -> #type_void { #builtin }
func print(string message) -> #type_void { #builtin }