Microsoft Research, Cambridge
Constrains a variable to equal a constant value.

Declaration Syntax
public static void ConstrainEqual<T>(
T a,
Variable<T> b
)
Public Shared Sub ConstrainEqual(Of T) ( _
a As T, _
b As Variable(Of T) _
)
public:
generic<typename T>
static void ConstrainEqual(
T a,
Variable<T>^ b
)

Generic Template Parameters
- T
- The type of the variable

Parameters
- a (T)
- The constant value
- b (Variable<(Of <(T>)>))
- The variable
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)