[tiger.ml.git] / compiler / src / lib / tiger / tiger_opt.mli

type 'a t = 'a option

val map : 'a t -> ('a -> 'b) -> 'b t

val iter : 'a t -> f:('a -> unit) -> unit

val get : 'a t -> default:'a -> 'a
Commit	Line	Data
d1fe69d3 SK	1	type 'a t = 'a option
	2
	3	val map : 'a t -> ('a -> 'b) -> 'b t
	4
eb9263c8 SK	5	val iter : 'a t -> f:('a -> unit) -> unit
eb9263c8 SK	6
d1fe69d3	7	val get : 'a t -> default:'a -> 'a