Microsoft Research, Cambridge
Applies a constraint using a constraint method with two arguments.
Declaration Syntax
public static void Constrain<T1, T2>(
ConstrainMethod<T1, T2> constraint,
Variable<T1> arg1,
Variable<T2> arg2
)
Public Shared Sub Constrain(Of T1, T2) ( _
constraint As ConstrainMethod(Of T1, T2), _
arg1 As Variable(Of T1), _
arg2 As Variable(Of T2) _
)
public:
generic<typename T1, typename T2>
static void Constrain(
ConstrainMethod<T1, T2>^ constraint,
Variable<T1>^ arg1,
Variable<T2>^ arg2
)
Generic Template Parameters
Parameters
- constraint (ConstrainMethod<(Of <(T1, T2>)>))
- The method that represents the constraint
- arg1 (Variable<(Of <(T1>)>))
- First argument for the constraint
- arg2 (Variable<(Of <(T2>)>))
- Second argument for the constraint
Return Value
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)