let declare arr _ = 
         Function ([],Formula.ADT("format",[Array arr]))