Microsoft Research, Cambridge
Applies a constraint using a constraint method with three arguments.

Declaration Syntax
public static void Constrain<T1, T2, T3>(
ConstrainMethod<T1, T2, T3> constraint,
Variable<T1> arg1,
Variable<T2> arg2,
Variable<T3> arg3
)
Public Shared Sub Constrain(Of T1, T2, T3) ( _
constraint As ConstrainMethod(Of T1, T2, T3), _
arg1 As Variable(Of T1), _
arg2 As Variable(Of T2), _
arg3 As Variable(Of T3) _
)
public:
generic<typename T1, typename T2, typename T3>
static void Constrain(
ConstrainMethod<T1, T2, T3>^ constraint,
Variable<T1>^ arg1,
Variable<T2>^ arg2,
Variable<T3>^ arg3
)

Generic Template Parameters

Parameters
- constraint (ConstrainMethod<(Of <(T1, T2, T3>)>))
- The method that represents the constraint
- arg1 (Variable<(Of <(T1>)>))
- First argument for the constraint
- arg2 (Variable<(Of <(T2>)>))
- Second argument for the constraint
- arg3 (Variable<(Of <(T3>)>))
- Third argument for the constraint

Return Value
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)