1
(**************************************************************************)
5
(* Fran�ois Pottier and Yann R�gis-Gianas, INRIA Rocquencourt *)
7
(* Copyright 2005 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* under the terms of the Q Public License version 1.0, with the *)
10
(* change described in file LICENSE. *)
12
(**************************************************************************)
14
val map: ('a -> 'b) -> 'a option -> 'b option
15
val iter: ('a -> unit) -> 'a option -> unit
16
val fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b