iInfo.ml1 2 3 4 5type t = Location.i_loc * Annotations.annotations let dummy = Location.i_dummy, [] let with_location (l, _) = (l, []) let is_inline (_, annot) = Annotations.has_symbol "inline" annot let var_info_of_ii (l, _) = Location.(l.base_loc)