action_num.txt

    Move Parent;
    Move (Child 0);
    Move (Child 1);
    Move (Child 2);
    Move (Child 3);
    Move (Child 4);
    Construct Hole;
    Construct (Const Nil);
    Construct (Const (Bool true));
    Construct (Const (Bool false));
    Construct (UnOp OpNeg);
    Construct (UnOp OpNot);
    Construct (BinOp_L OpPlus);
    Construct (BinOp_L OpMinus);
    Construct (BinOp_L OpTimes);
    Construct (BinOp_L OpDiv);
    Construct (BinOp_L OpLt);
    Construct (BinOp_L OpLe);
    Construct (BinOp_L OpGt);
    Construct (BinOp_L OpGe);
    Construct (BinOp_L OpEq);
    Construct (BinOp_L OpNe);
    Construct (BinOp_L OpAp);
    Construct (BinOp_L OpCons);
    Construct (BinOp_L OpAnd);
    Construct (BinOp_L OpOr);
    Construct (BinOp_R OpPlus);
    Construct (BinOp_R OpMinus);
    Construct (BinOp_R OpTimes);
    Construct (BinOp_R OpDiv);
    Construct (BinOp_R OpLt);
    Construct (BinOp_R OpLe);
    Construct (BinOp_R OpGt);
    Construct (BinOp_R OpGe);
    Construct (BinOp_R OpEq);
    Construct (BinOp_R OpNe);
    Construct (BinOp_R OpAp);
    Construct (BinOp_R OpCons);
    Construct (BinOp_R OpAnd);
    Construct (BinOp_R OpOr);
    Construct Let_L;
    Construct Let_R;
    Construct If_L;
    Construct If_C;
    Construct If_R;
    Construct Fun;
    (* Construct Fix; *)
    Construct Pair_L;
    Construct Pair_R;
    Construct Filter_L;
    Construct Filter_R;
    Construct Map_L;
    Construct Map_R;
    Construct Fold_L;
    Construct Fold_C;
    Construct Fold_R;
    Construct Match_L;
    Construct Match_E1;
    Construct Match_E2;
    Construct (PatConst (Bool true));
    Construct (PatConst (Bool false));
    Construct (PatConst Nil);
    Construct PatCons_L;
    Construct PatCons_R;
    Construct PatVar;
    Construct PatWild;
    Unwrap 0;
    Unwrap 1;
    Unwrap 2;