source: Deliverables/D2.2/8051/src/utilities/bList.mli @ 1580

Last change on this file since 1580 was 1580, checked in by tranquil, 8 years ago

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File size: 320 bytes
Line 
1(** This module gives lists with internal binders. *)
2
3type ('a, 'b) t =
4  | BNil
5  | BCons of 'a * ('a, 'b) t
6  | BNew of ('b -> ('a, 'b) t)
7
8val (^::) : 'a -> ('a, 'b) t -> ('a, 'b) t
9
10val (^@) : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
11
12val (?^) : ('b -> ('a, 'b) t) -> ('a, 'b) t
13
14val b_rev : ('a, 'b) t -> ('a, 'b) t
Note: See TracBrowser for help on using the repository browser.