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