definition module dynamic_string dynamic_to_string :: !Dynamic -> *{#Char} string_to_dynamic :: *{#Char} -> .Dynamic copy_to_string :: !.a -> *{#Char} copy_from_string :: !*{#Char} -> (!.a,!Int)