diff options
| author | Matej Kosik | 2016-02-18 14:19:21 +0100 |
|---|---|---|
| committer | Matej Kosik | 2016-02-18 14:19:21 +0100 |
| commit | e4c9dfe7277ec2e2c4b1e40f60044ba4cade8e61 (patch) | |
| tree | e6138370f9b1c2e174f9b13bf0f11e4f39aa667e /engine | |
| parent | 93c03652fea5914307b0a6b72b7fec6f9aaec305 (diff) | |
ADD: Names.Name.is_{anonymous,name}
Two new (trivial) functions were added:
Names.Name.is_anonymous : Names.Name.t -> bool
Names.Name.is_name : Names.Name.t -> bool
They enable us to write a more compact code.
(example: commit "99633f4" in "relation-extraction" module of "coq-contribs").
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions