Enum ImpreciseBoolean

A three-valued "Boolean" type that allows Boolean property analyses to express uncertainty.

Namespace: Flame.TypeSystem

Assembly: Flame.dll

Syntax

public enum ImpreciseBoolean

Fields

Name	Description
False	The false constant, which indicates that a property definitely doesn't hold.
Maybe	A value that expresses uncertainty about whether a property holds or not: it may hold or it may not.
True	The true constant, which indicates that a property holds.