diff --git a/std/std.global.pdl b/std/std.global.pdl index f1cc7bfa898a5991b090afa445c9fb348ce9ebe5..0c67ffe202972f05a301752a1659bdcf367ef0d4 100644 --- a/std/std.global.pdl +++ b/std/std.global.pdl @@ -1,9 +1,9 @@ #module std.global -func get(in) -> T #builtin -func put(out, T value) -> #type_void #builtin -func fires(#type_portlike) -> bool #builtin -func create(#type_integerlike length) -> 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 +func get(in input) -> T { #builtin } +func put(out output, T value) -> #type_void { #builtin } +func fires(#type_portlike) -> bool { #builtin } +func create(#type_integerlike length) -> 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