source: Deliverables/D2.2/8051/src/utilities/option.mli

Last change on this file was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 333 bytes
Line 
1
2(** This module provides some functions to manipulate values of type
3    [option]. *)
4
5(* Pasted from Pottier's PP compiler *)
6
7open PrintPottier
8
9val map: ('a -> 'b) -> 'a option -> 'b option
10val iter: ('a -> unit) -> 'a option -> unit
11val fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
12val print: 'a printer -> 'a option printer
Note: See TracBrowser for help on using the repository browser.