diff options
| author | Simon Gregersen | 2018-04-02 20:21:20 +0200 |
|---|---|---|
| committer | Simon Gregersen | 2018-04-02 20:21:20 +0200 |
| commit | abdc6b34b11ac1ccbcb8c48291b74c6762fc7573 (patch) | |
| tree | d0224fb59e0efe65c32c5e0963b2093c2473efb5 /plugins/syntax/string_notation.mli | |
| parent | f29f8f80c8ad94576c7a36f3f638866c208338a0 (diff) | |
Make OrderedTypeFullFacts a module functor
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions