module Option:sig..end
type'at ='a option
val compare : ('a -> 'b -> int) -> 'a option -> 'b option -> intval equal : 'a option -> 'a option -> boolval gen : (?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a optionval to_string : ('a -> string) -> 'a option -> string