(***********************************************************************) (* *) (* OCaml library from the book ``Apprendre à programmer avec OCaml'' *) (* *) (* Sylvain Conchon and Jean-Christophe Filliâtre *) (* Université Paris Sud *) (* *) (* Copyright 2014 Université Paris Sud. All rights reserved. This *) (* file is distributed under the terms of the GNU Library General *) (* Public License, with the same special exception on linking as the *) (* OCaml library. See http://caml.inria.fr/ocaml/license.fr.html *) (* *) (***********************************************************************) (* Programme 59 page 257 Signature minimale pour des files persistantes *) module type PersistentQueue = sig type 'a t val empty : 'a t val is_empty : 'a t -> bool val push : 'a -> 'a t -> 'a t val pop : 'a t -> 'a * 'a t end