prop Type

Namespace: Calculemus

Assembly: Calculemus.dll

Parent Module: Prop

Base Type: obj

All Interfaces: IStructuralEquatable , IComparable<prop> , IComparable , IStructuralComparable

Union cases

Union case	Description
P string Full Usage: P string Parameters: Item : string - Name of the propositional variable.	Propositional variable. Item : string Name of the propositional variable.