Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-libraries
Commits
dc697eec
Verified
Commit
dc697eec
authored
Mar 18, 2019
by
Camil Staps
Browse files
Export replace_desc_numbers_by_descs from graph_copy_with_names
parent
276613c5
Changes
1
Hide whitespace changes
Inline
Side-by-side
Libraries/graph_copy/graph_copy_with_names.dcl
View file @
dc697eec
...
...
@@ -8,4 +8,6 @@ from symbols_in_program import ::Symbol;
copy_to_string_with_names
::
a
->
(!*{#
Char
},!*{#
DescInfo
},!*{#
String
});
copy_from_string_with_names
::
!*{#
Char
}
!*{#
DescInfo
}
!*{#
String
}
!{#
Symbol
}
->
(.
a
,!
Int
);
// Internal functions (normally you should not use them directly):
replace_desc_numbers_by_descs
::
!
Int
!*{#
Char
}
!{#
Int
}
!
Int
!
Int
->
*{#
Char
};
make_symbol_name
::
!
String
!
String
!
Int
->
String
;
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment