123456789 |
- String function JSON_print(model : Element)
- Element function input_timeout(timeout : Float)
- Element function list_reverse(lst : Element)
- Element function list_splice(lst : Element, start : Integer, end : Integer)
- Void function list_extend(lst : Element, ext : Element)
- Void function set_difference(set1 : Element, set2 : Element)
- String function get_taskname()
- Void function sleep(seconds : Float)
|