コード例 #1
0
                public static AVal Meet(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable || b.IsExposable;

                    return(AVal.For(consistent));
                }
コード例 #2
0
                public static AVal Join(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable && b.IsExposable;

                    return(AVal.For(consistent));
                }