solver_adt_lang_item_to_lang_item

Function solver_adt_lang_item_to_lang_item 

Source
fn solver_adt_lang_item_to_lang_item(lang_item: SolverAdtLangItem) -> LangItem