lib/mlton/queue/append-reverse.sig

   1 (* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 signature APPEND_REVERSE =
   9    sig
  10       structure L: LIST
  11       structure I: INTEGER
  12       sharing L.I = I
  13
  14       type 'a t
  15       val empty: unit -> 'a t
  16       val isEmpty: 'a t -> bool
  17       val length: 'a t -> I.t
  18       val destruct: 'a t -> ('a * 'a t) option
  19       val appendReverse: 'a t * 'a L.t -> 'a t
  20    end