/// Module providing debug functionality. module std::debug { native public fun print(x: &T); native public fun print_stack_trace(); }