Microsoft Research, Cambridge
Constrains a double variable to be positive.

Declaration Syntax

Parameters
- v (Variable<(Of <(Double>)>))
- The variable to constrain to be positive
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)