let
declare x _ =
Formula
.
Function
( [] ,
D
.tau_of_logic_type x.lv_type )