pub fn elaborate<I, O>(
cx: I,
obligations: impl IntoIterator<Item = O>,
) -> Elaborator<I, O> ⓘwhere
I: Interner,
O: Elaboratable<I>,
pub fn elaborate<I, O>(
cx: I,
obligations: impl IntoIterator<Item = O>,
) -> Elaborator<I, O> ⓘwhere
I: Interner,
O: Elaboratable<I>,