Function free_var

Source
pub fn free_var(level: usize, constraint: Constraint) -> Type