public static void Constrain<T1, T2, T3, T4>(
	ConstrainMethod<T1, T2, T3, T4> constraint,
	Variable<T1> arg1,
	Variable<T2> arg2,
	Variable<T3> arg3,
	Variable<T4> arg4
)

Public Shared Sub Constrain(Of T1, T2, T3, T4) ( _
	constraint As ConstrainMethod(Of T1, T2, T3, T4), _
	arg1 As Variable(Of T1), _
	arg2 As Variable(Of T2), _
	arg3 As Variable(Of T3), _
	arg4 As Variable(Of T4) _
)

public:
generic<typename T1, typename T2, typename T3, typename T4>
static void Constrain(
	ConstrainMethod<T1, T2, T3, T4>^ constraint, 
	Variable<T1>^ arg1, 
	Variable<T2>^ arg2, 
	Variable<T3>^ arg3, 
	Variable<T4>^ arg4
)