Microsoft Research, Cambridge
Constrains two variables to be equal.
Declaration Syntax
Public Shared Sub ConstrainEqual(Of T) ( _
a As Variable(Of T), _
b As Variable(Of T) _
)
public:
generic<typename T>
static void ConstrainEqual(
Variable<T>^ a,
Variable<T>^ b
)
Generic Template Parameters
- T
- The type of the variables
Parameters
- a (Variable<(Of <(T>)>))
- The first variable
- b (Variable<(Of <(T>)>))
- The second variable
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)