gillian » Gillian » Utils » Option_utils

Module Utils.Option_utils

val or_else : (unit -> 'a) -> 'a option -> 'a

Similar to Option.value, but with a thunk for the default value

val coalesce : 'a option -> 'a option -> 'a option

Returns the first option if it's Some, otherwise the second option

val all : 'a option list -> 'a list option