Module Concrete_ident.ImplInfoStore

val init : (Types.def_id * Types.impl_infos) list -> unit
val lookup_raw : t -> Types.impl_infos option

Lookup the (raw1) implementation information given a concrete ident. Returns `Some _` if and only if the supplied identifier points to an `Impl`.

1: those are raw THIR types.

WARNING: due to issue 363, when looking up certain identifiers generated by the engine, this function may return None even though the supplied identifier points to an Impl block.