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