Revision - 377a2cd - NewFMap: avoid using finite sets when predicates work (eq_except).

Revision 377a2cd4979be48d98197c1606719f25734f7e19 authored by François Dupressoir on 31 May 2016, 13:25:57 UTC, committed by François Dupressoir on 31 May 2016, 13:25:57 UTC

NewFMap: avoid using finite sets when predicates work (eq_except).

1 parent 3c30914

Files
Changes

Permalinks

File	Mode	Size
XDG.ml	-rw-r--r--	4.9 KB
XDG.mli	-rw-r--r--	1.5 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...