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)