implementation module dynamic_string import StdEnv import code from "copy_graph_to_string_interface.obj" import code from "copy_graph_to_string.obj" import code from "copy_string_to_graph_interface.obj" import code from "copy_string_to_graph.obj" copy_to_string :: !.a -> *{#Char} copy_to_string g = code { .d 1 0 jsr _copy_graph_to_string .o 1 0 } copy_from_string :: !*{#Char} -> (!.a,!Int) copy_from_string g = code { .d 1 0 jsr _copy_string_to_graph .o 1 0 pushI 0 } dynamic_to_string :: !Dynamic -> *{#Char} dynamic_to_string d = copy_to_string d string_to_dynamic :: *{#Char} -> .Dynamic string_to_dynamic s # (d,_) = copy_from_string s = d