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)
);
}
public abstract Goal<Type> ResolveType(Var type);