let mk_linfo_type (out_type, in_types) =
let lvar_out_type = match out_type with Some t -> t
| None -> (* TODO: ugly ! but see in Logic_typing.logic_decl *)
Ctype Cil.voidType
in
let ltype = match in_types with [] -> lvar_out_type
| _ -> Larrow (in_types, lvar_out_type)
in ltype