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.
scf.while