module type Shape = sig .. end
sig
end
include Structure.Key
type 'a data
'a
type 'a structure =
|
Unit : unit structure
unit structure
Leaf : 'a0 key * 'a0 data -> 'a0 structure
'a0 key * 'a0 data
'a0 structure
Node : 'a1 structure * 'b structure -> ('a1 * 'b) structure
'a1 structure * 'b structure
('a1 * 'b) structure
val eq_structure : 'a structure -> 'b structure -> ('a, 'b) Structure.eq option
'a structure -> 'b structure -> ('a, 'b) Structure.eq option