module Flx_dlst:sig..end
type direction =
| |
Fwd |
| |
Rev |
val dir_rev : direction -> directiontype 'a dlst = {
|
dir : |
|
lst : |
val dfwd : 'a dlst -> 'a listval drev : 'a dlst -> 'a listval dlst_fwd : 'a list -> 'a dlstval dlst_rev : 'a list -> 'a dlstval dlst_lst : 'a dlst -> 'a listval dlst_dir : 'a dlst -> directionval dlst_map : ('a -> 'b) -> 'a dlst -> 'b dlstval append : 'a dlst -> 'a -> 'a dlstval prepend : 'a dlst -> 'a -> 'a dlstval cons : 'a list -> 'a -> 'a listval concat : 'a dlst -> 'a dlst -> 'a dlst