C# (CSharp) AVal.For Examples

Example #1

                public static AVal Meet(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable || b.IsExposable;

                    return(AVal.For(consistent));
                }

Example #2

                public static AVal Join(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable && b.IsExposable;

                    return(AVal.For(consistent));
                }