let compile lt = 
       let tid = LogicId.create ("T_" ^ lt.lt_name) in
       LogicDef.declare {
         d_name = tid ;
         d_item = TYPE (List.length lt.lt_params) ;
         d_descr = {
           t_source = Lexing.dummy_pos ;
           t_short = Printf.sprintf "logic type %s" lt.lt_name ;
           t_descr = "" ;
         } ;
       } ; tid