C# (CSharp) Verophyle.CSLogic Var示例

示例#1

文件： Literal.cs 项目： apterid/apterid-bootstrap

 public override Goal<Type> ResolveType(Var type)
 {
     return Goal.Disj(
         Goal.Conj(Goal.Pred<Type>(type, _ => IntValue.CompareTo(System.Int32.MaxValue) <= 0),
                   Goal.Unify<Type>(type, Builtins.SystemInt32.Instance)),
         Goal.Unify<Type>(type, Builtins.SystemNumericsBigInteger.Instance)
     );
 }

示例#2

文件： Expression.cs 项目： apterid/apterid-bootstrap

 public abstract Goal<Type> ResolveType(Var type);