graph_to_string_and_descriptors.dcl 295 Bytes
Newer Older
1 2 3 4 5 6 7 8
definition module graph_to_string_and_descriptors;

// includes unboxed record descriptors

graph_to_string_with_descriptors :: !a -> {#Char};

graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
													   // (graph,descriptor_table,module_table)