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