Changeset 1584 for Deliverables/D2.2/8051/src/utilities/bList.mli
 Timestamp:
 Dec 2, 2011, 3:13:04 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D2.2/8051/src/utilities/bList.mli
r1580 r1584 1 1 (** This module gives lists with internal binders. *) 2 2 3 type ('a, 'b ) t =4  BNil5  BCons of 'a * ('a, 'b) t6  BNew of ('b > ('a, 'b) t)3 type ('a, 'b, 'c) t = 4  Nil 5  Cons of 'a * ('a, 'b, 'c) t 6  New of 'c * ('b > ('a, 'b, 'c) t) 7 7 8 val (^::) : 'a > ('a, 'b) t > ('a, 'b) t8 type ('a, 'b) t2 = ('a, 'b, unit) t 9 9 10 val (^@) : ('a, 'b) t > ('a, 'b) t > ('a, 'b) t10 val rev : ('a, 'b, 'c) t > ('a, 'b, 'c) t 11 11 12 val (?^) : ('b > ('a, 'b) t) > ('a, 'b) t12 val append : ('a, 'b, 'c) t > ('a, 'b, 'c) t > ('a, 'b, 'c) t 13 13 14 val b_rev : ('a, 'b) t > ('a, 'b) t 14 val of_list : 'a list > ('a, 'b, 'c) t 15 16 val compile : ('u > 'c > 'u * 'b) > 'u > ('a, 'b, 'c) t > 'u * 'a list 17 val compile2 : ('u > 'u * 'b) > 'u > ('a, 'b) t2 > 'u * 'a list 18 19 val fold_left : ('a > 'b > 'a) > ('d > ('c > 'a) > 'a) > 'a > 20 ('b, 'c, 'd) t > 'a 21 22 val fold_right : 23 ('a > 'b > 'b) > ('d > ('c > 'b) > 'b) > ('a, 'c, 'd) t > 'b > 'b 24 25 val concat : ('a, 'b, 'c) t list > ('a, 'b, 'c) t 26 27 val fresh_n : int > ('b list > ('a, 'b) t2) > ('a, 'b) t2 28 29 val fresh_ts : 'c list > ('b list > ('a, 'b, 'c) t) > ('a, 'b, 'c) t 30 31 module Notation : sig 32 val (^::) : 'a > ('a, 'b, 'c) t > ('a, 'b, 'c) t 33 val (^@) : ('a, 'b, 'c) t > ('a, 'b, 'c) t > ('a, 'b, 'c) t 34 val bnil : ('a, 'b, 'c) t 35 val fresh : ('b > ('a, 'b) t2) > ('a, 'b) t2 36 val fresh_n : int > ('b list > ('a, 'b) t2) > ('a, 'b) t2 37 val fresh_t : 'c > ('b > ('a, 'b, 'c) t) > ('a, 'b, 'c) t 38 val fresh_ts : 'c list > ('b list > ('a, 'b, 'c) t) > ('a, 'b, 'c) t 39 end
Note: See TracChangeset
for help on using the changeset viewer.