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

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

Generic Template Parameters
- T
- The type of the variable

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