Revision - 192a23f - fix type of pred1 from 'a -> bool to 'a ->'a -> bool

Revision 192a23f0bd53f0be1083912795d3019f5b20b9f4 authored by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC, committed by Cécile BARITEL-RUET on 19 December 2018, 17:24:55 UTC

fix type of pred1 from 'a -> bool to 'a -> 'a -> bool

1 parent 0b59cac

Files
Changes

Permalinks

File	Mode	Size
docker
install
packaging
srctx
testing

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

Computing file changes ...