ExtensionSet.with_properties
Description:
[ CCode ( has_construct_function = false ) ]
public ExtensionSet.with_properties (Engine? engine, Type exten_type, string[] prop_names, Value[] prop_values)
  public ExtensionSet.with_properties (Engine? engine, Type exten_type, string[] prop_names, Value[] prop_values)
Create a new ExtensionSet for the exten_type extension type.
If engine is null, then the default engine will be used.
See [ctor@ExtensionSet.new] for more information.
Parameters:
| engine | A Engine, or null. | 
| exten_type | the extension Type. | 
| prop_names | an array of property names. | 
| prop_values | an array of property values. | 
| n_properties | the length of the  | 
Returns:
| a new instance of ExtensionSet. |