Function while 

pub fn while<'c>(
    initial_values: &[Value<'c, '_>],
    result_types: &[Type<'c>],
    before_region: Region<'c>,
    after_region: Region<'c>,
    location: Location<'c>,
) -> Operation<'c>

Creates a scf.while operation.