let declare t _ =
         Formula.Type (List.length t.lt_params)