Parameter Core_kernel.Set_intf.Check_accessors.2-Tree

type ('a, 'b) t