Class type CCKTree.pset

class type ['a] pset = object .. end

method add : 'a -> 'a pset

method mem : 'a -> bool