Skip to main content

instantiate

Function instantiate 

Source
pub fn instantiate(
    scheme: &Scheme,
    supply: &mut TypeVarSupply,
) -> (Vec<Predicate>, Type)