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