Commit 8a796de7 authored by Kim Nguyễn's avatar Kim Nguyễn

Merge branch 'master' of https://git.cduce.org/cduce into typing/polymorphic-recursive-types

parents 3c1254ea 9ef600d9
......@@ -81,10 +81,11 @@ let balance ( Unbalanced('a) -> Rtree('a) ; 'b\UTree -> 'b\UTree )
(* Here we start the definition of *)
(* standard operations for red-black trees *)
let insert (x : 'a) (t : Btree('a)) : Btree('a) =
let insert (x : 'a) (t : Btree('a)) : Btree('a)\[]=
let ins_aux ( [] -> Rtree('a);
Btree('a)\[] -> RBtree('a)\[];
Rtree('a) -> Rtree('a)|Wrongtree('a) )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment