diff --git a/std/std.global.pdl b/std/std.global.pdl new file mode 100644 index 0000000000000000000000000000000000000000..6691b79689ad5b304289b4c9feff3de3011bf515 --- /dev/null +++ b/std/std.global.pdl @@ -0,0 +1,9 @@ +#module std.global + +func get(in input) -> T { #builtin } +func put(out output, T value) -> #type_void { #builtin } +func fires(#type_portlike port) -> bool { #builtin } +func create(#type_integerlike len) -> T[] { #builtin } +func length(#type_arraylike array) -> u32 { #builtin } +func assert(bool condition) -> #type_void { #builtin } +func print(string message) -> #type_void { #builtin } \ No newline at end of file