One_or_two (one_or_two.One_or

Simple container of one of two values of a given type.

module Stable : sig ... end

type 'a t = [

| `One of 'a

| `Two of 'a * 'a

]

val to_yojson : ( 'a -> Yojson.Safe.t ) -> 'a t -> Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  'a t Ppx_deriving_yojson_runtime.error_or

val compare : ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int

val equal : ( 'a -> 'a -> bool ) -> 'a t -> 'a t -> bool

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a t ->
  Ppx_hash_lib.Std.Hash.state

include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t

val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t

val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t

val length : 'a t -> int

val to_list : 'a t -> 'a list

val to_numbered_list : 'a t -> (int * 'a) list

val group_sequence : 'a Core_kernel.Sequence.t -> 'a t Core_kernel.Sequence.t

val group_list : 'a list -> 'a t list

val zip : 'a t -> 'b t -> ('a * 'b) t Core_kernel.Or_error.t

val zip_exn : 'a t -> 'b t -> ('a * 'b) t

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

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

val fold : 'a t -> init:'accum -> f:( 'accum -> 'a -> 'accum ) -> 'accum

val fold_until : 
  init:'b ->
  f:( 'b -> 'a -> ( 'b, 'final ) Core_kernel.Continue_or_stop.t ) ->
  finish:( 'b -> 'final ) ->
  'a t ->
  'final

module Deferred_result : sig ... end

module Deferred : sig ... end

module Option : sig ... end

module Or_error : sig ... end

val gen : 
  'a Core_kernel.Quickcheck.Generator.t ->
  'a t Core_kernel.Quickcheck.Generator.t