Module Reins.AVLSet.PolySet1


module PolySet1: Reins.Sets.PolySetSigStd 
Reins.AVLSet.AVL_PolySet instanced with HeightDiff.v = 1

type 'a t 
type 'a cursor 
type ('a, 'b) result 
include Reins.Sets.Set_
val to_string : ('a -> string) -> 'a set -> string