Changeset 3577 for LTS/stack.ma


Ignore:
Timestamp:
Jun 19, 2015, 6:31:59 PM (4 years ago)
Author:
sacerdot
Message:

Number of local variables computed during the first pass and then propagated.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/stack.ma

    r3575 r3577  
    130130
    131131
    132 let rec list_n (A :Type[0]) (a : A) (n :ℕ) on n : list A ≝
    133 match n with
    134 [ O ⇒ nil ?
    135 | S m ⇒ a :: list_n … a m
    136 ].
    137 
    138132definition stack_signature≝signature stack_state_params stack_state_params.
    139133
Note: See TracChangeset for help on using the changeset viewer.