快乐8十拿九稳
热门栏目
0
今天 09:13
2026125期昨天快乐8开奖号码预测
2026125期昨天快乐8开奖号码预测
快乐8“选十”万元复式实操方案
总预算10000元聚焦「选十」复式投注﹐优先选择13 - 码复式平衡注数与成本﹐具体分配与选号逻辑如下：
一、复式注数与成本分配
14码复式组﹕每组选14个号码﹐系统自动组合为注（注数公式：C(14,10)=364）﹐单组成本元（364注×2元/注=728元）﹐组合计2912元。
13码复式组﹕每组选13个号码﹐注数为C(13,10)=286注﹐单组成本元（2注×2元注=成本元）﹐组合计4576元。
1码复式组﹕剩余预算（1 元 元 - 元 元 元 元 元 元 元 元 元 ( ( ( ( ( ( ( ( ( (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((()(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( {3 The main loop for the {i Abstract Syntax Tree *)
This module provides a way to parse a string, given a signature, to a list of tokens.
This module provides a simple way to parse a string into an AST from an input channel.
Module for the abstract syntax tree for the [AST] of the module [Unix] module.
@see {2 {3 Module for the abstract syntax tree of the module [Syntax.
(**
Abstract syntax for the abstract syntax tree of a subset of the Pure CIL types.
The goal of this module is to provide a way to parse a string into an implementation of the abstract syntax tree for a subset of the {i raw} CIL types.
@author {3 Basic module to manage the abstract syntax tree for the PDSKraken. *)
open Core
module S = Syntax
module T = Syntax
module T = Type
module P = Printf
type 'a binary_op =
| Add | Sub | Mul | Div | Mod | Div | LT | GT | LTE | LT | GT | LTE | Eq | NEq | GE | GTE | LE | GE | EqEq | NEq | GT | LT | LTE | GE | EqEq | NEq | Or | And | Implies | And | Or | XOR | Not | UMinus | UPlus | Minus | Mult | Div | Cons | Carat
| Arrow
| Not | And | Or | X | Y | Z | NotEq | Le | Geq | GTE | LTE | LT | GT | GE | UMinus | Plus | Minus | Mult | Div | EqEq | NEq | Lt | LTE | GTE | And | Or | Implies | Not | XNOR | XOR,
| NotEq | And | Or | UMinus | Plus | Minus | Mult | Div | LT | GT | LTE | GE | Eq | NEq | GTE | LT | And | Or | XOR | Not; (** A context is a data structure that holds the variables and their associated types.
This module provides a parser for the abstract syntax tree for our simple arithmetic language. *) open Core
open Core.Std
open Bistro.Std
open Core_bench.Std
open Batteries
open Js_of_ocaml
open Printf
open Base
open Ast
open Ppxlib
open Core_bench
open Core_bench
open Core_bench.Std
open Core_bench.Std
open Core_bench
open Core_bench
open Ast
open Core_bench
open Core_bench
open Core_bench
open Core_extended.Std
open Core_bench
open Core_bench
open Core_bench.Std
open Core_bench.Std
open Core_bench
open Core_bench
open Core_bench
open Core_extended_benchmark.Std
open Core_bench
open Core_bench
open Core_extended.Std
open Core_extended.Std
open Core_kernel
open Core_bench
open Core_extended.Std
open Core_bench
let%test_module "Abstract Syntax Tree of the MiniML.ml *)
open Core
open StdLabels
open Core_kernel
open Core_bench
open Ast
let () =
let input = "
let rec fib n =
let rec fib n =
if n < 0 then 0
else if n <= 0 then 0
else if n = 0 then 0
else if n = 1 then 0
else fib (n-1) + fib (n-1) + fib (n-2) "
let () =
let open Core_bench.Std
open Core_extended.Std
open Core_bench
open Core_bench.Std
open Core_bench.Std
let () =
let fib n =
let rec fib n =
if n < 0 then 0
else if n <= 0 then 0
else if n = 0 then 0 ( (
{1 The main module of the MiniML abstract syntax tree. *)
(* The core syntax of the MiniML expressions. )
module Ast = struct
(* The abstract syntax tree for the MiniML expressions )
type t =
| Zero
| One
| One
| Two
| Three
| Four
| Five
| Six
| Plus
| Minus
| Mult
| Div
| Lt
| LTE
| Gt
| LTE
| GTE
| Eq
| NEq
| And
| Or
| Not
| Implies
| UMinus
| XOR
| Var of string
| Var of string
| App of string
| If of t * t
| Let of string * t * t
| Letrec of string * t * t
| Fun of string * t
| Rec of string * t
| App of t * t
| Letrec of string * t * t
| Letrec of string * t * t
| LetrecRec of string * t * t
| AppRec of t * t
| IfThenElse of t * t * t * t
| Pair of t * t
| Tuple of t * t
| Fst of t * t
| Snd of t
| Proj of t * int
| Proj1 of t * int
| Proj2 of t * int (* Represents the type of a MiniML expressions. )
(* A simple type is a type of an expression. )
type typ =
| TypeVar of string
| TypeApp of typ * typ
| TypeArrow of typ * typ
| TypeBool
| TypeUnit
| TypeInt
| TypeBool
| TypeInt
| TypeString
| TypeArrow of typ * typ
| TypePair of typ * typ
| TypeList of typ list
(* An expression in the MiniML language. )
type expr =
| Var of string
| Lam of string typ t
| App of expr * t
| Let of string * typ
| Fun of string typ t
| Letrec of string typ typ * t
| LetrecRec of string typ t
| Fix of string typ typ
| Fix of string * typ
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Eq of t * t
| Gt of t * t
| LT of t * t
| LTE of t * t
| GE of t * t
| GT of t * t
| LTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| UMinus of t
| Plus of t * t
| Minus of t * t
| Mult of t * t
| If of t t t * t
| Div of t * t
| XOR of t * t
| Unit
| Bool of bool
| Int of int
| Int of int
| String of string
| True
| False
| Letrec of string typ typ
| Var of string
| Pair of t * t
| Fun of string * t
| App of t * t
| Fst of t
| Snd of t
| Var of string
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| Eq of t * t
| LT of t * t
| LTE of t * t
| Gt of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| UMinus of t
| If of t t t * t
| Let of string t t
| Letrec of string typ t
| Fix of string typ t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| Div of t * t
| Eq of t * t
| LT of t * t
| LTE of t * t
| GT of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| Lam of string * typ
| App of t * t
| Let of string typ t
| Letrec of string typ t
| Fix of string typ t
| Var of string
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| Div of t * t
| LT of t * t
| LTE of t * t
| Gt of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| Lam of string * typ
| Letrec of string typ t
| Fix of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
(* The abstract syntax tree for the MiniML language. )
type expr =
| Zero
| One
| Two
| Three
| Four
| Five
| Plus
| Minus
| Mult
| Div
| Lt
| Gt
| LTE
| GTE
| Eq
| NEq
| And
| Or
| Not
| UMinus
| XOR
| Var of string
| Let of string t t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| LT of t * t
| LTE of t * t
| GT of t * t
| GTE of t * t
| NEq of t * t
(* The abstract syntax tree for the MiniML expressions. )
type expr =
| Zero
| One
| Two
| Three
| Four
| Five
(* The abstract syntax tree for the MiniML language. )
type expr =
| Zero
| One
| Two
| Three
| Four
| Five
| Plus
| Minus
| Mult
| Div
| Lt
| Gt
| LTE
| GTE
| Eq
| NEq
| And
| Or
| Not
| UMinus
| XOR
| Var of string
| Let of string typ t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| LT of t * t
| LTE of t * t
| GT of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| Lam of string * typ
| Let of string typ t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| LT of t * t
| LTE of t * t
| GT of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| Lam of string * typ
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| LT of t * t
| LTE of t * t
| GT of t * t
| GTE of t * t
| NEq of t * t
| And of t * t
| Or of t * t
| Implies of t * t
| Not of t
| Lam of string * typ
| Let of string typ t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
(* The abstract syntax tree for the MiniML language. )
type expr =
| Zero
| One
| Two
| Three
| Four
| Five
| Plus
| Minus
| Mult
| Div
| Lt
| Gt
| LTE
| GTE
| Eq
| NEq
| And
| Or
| Not
| UMinus
| XOR
| Var of string
| Let of string typ t
| Letrec of string typ t
| App of t * t
| Pair of t * t
| Fst of t
| Snd of t
| Unit
| Int of int
| Bool of bool
| String of string
| Plus of t * t
| Minus of t * t
| Mult of t * t
| LT of t * t
| GT of t * t
| LTE of t * t
| GTE of t t | LT of t t | LTE of t t | Gt of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t| Zero | One | Two | Three | Four | Five | Plus | Minus | Mult | Div | Lt | Gt | LTE | GTE | Eq | NEq | And | Or | Not | UMinus | XOR | Var of string | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t| Zero | One | Two | Three | Four | Five | Plus | Minus | Mult | Div | Lt | Gt | LTE | GTE | Eq | NEq | And | Or | Not | UMinus | XOR | Var of string | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t| Zero | One | Two | Three | Four | Five | Plus | Minus | Mult | Div | Lt | Gt | LTE | GTE | Eq | NEq | And | Or | Not | UMinus | XOR | Var of string | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | Snd of t | Unit | Int of int | Bool of bool | String of string | Plus of t t | Minus of t t | Mult of t t | LT of t t | LTE of t t | GT of t t | GTE of t t | NEq of t t | And of t t | Or of t t | Implies of t t | Not of t | Lam of string typ | Let of string typ t | Letrec of string typ t | App of t t | Pair of t t | Fst of t | S
【立即点击查看快乐8预测】
2026125期昨天快乐8开奖号码预测
最新资讯
热门标签
评论正在加载...