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