rhi/aoc2020
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

rearrange some stuff

Browse source
This commit is contained in:
Rhiannon Morris 2020-12-03 15:11:29 +01:00
parent 5c59d80e00
commit 6ac8be6984
10 changed files with 84 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

8
set_ext.mli Normal file
View file

@ -0,0 +1,8 @@
module type S = sig
include Set.S
val exists_opt: (elt -> 'a option) -> t -> 'a option
end
module Make(Elt: Set.OrderedType): S
with type elt = Elt.t
and type t = Set.Make(Elt).t