diff options
| author | Pierre-Marie Pédrot | 2014-03-03 01:59:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-03 02:04:49 +0100 |
| commit | b076e7f88124db576c4f3c06e2ac93673236be7a (patch) | |
| tree | 8b293ea96457f0c421d85b968c2e392074afbdb7 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 28a2641df29cd7530c3ebe329dc118ba3f444b10 (diff) | |
Replacing arguments of Trie by a cancellable monoid.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions