Open pictyeye opened 10 years ago
Using the new internal representation would authorize to take into account the presence of string_of_t function as a short string representation.
For the moment, using a specific string_of_t function (e.g. distinguished names) implies writing value_of manually.
Using the new internal representation would authorize to take into account the presence of string_of_t function as a short string representation.
For the moment, using a specific string_of_t function (e.g. distinguished names) implies writing value_of manually.