Dpfs.SimpCnf

class Fresh a

fastcnfInt

pcnf