public static AVal Meet(AVal a, AVal b) { bool consistent = a.IsExposable || b.IsExposable; return(AVal.For(consistent)); }
public static AVal Join(AVal a, AVal b) { bool consistent = a.IsExposable && b.IsExposable; return(AVal.For(consistent)); }
public static AVal Meet(AVal a, AVal b) { bool consistent = a.IsExposable || b.IsExposable; return(AVal.For(consistent)); }
public static AVal Join(AVal a, AVal b) { bool consistent = a.IsExposable && b.IsExposable; return(AVal.For(consistent)); }