-
regnat authored
Chars.t is an abstract type and there is no way to get back its content in a manipulable structure, which is painful if external applications want to use Cduce as a library
113c3aa0
Chars.t is an abstract type and there is no way to get back its content in a manipulable structure, which is painful if external applications want to use Cduce as a library