sig
  type 'a t = 'a option
  val compare : ('a -> 'b -> int) -> 'a option -> 'b option -> int
  val equal : 'a option -> 'a option -> bool
  val gen :
    (?size:int -> Random.State.t -> 'a) ->
    ?size:int -> Random.State.t -> 'a option
  val to_string : ('a -> string) -> 'a option -> string
end