let declare comp _ = 
         Function ([],Formula.ADT("format",[Record comp]))