Either (ocamlformat-lib.Ocamlformat

type (!'f, !'s) t =

| First of 'f
| Second of 's

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

val hash_fold_t : 
  (Base_internalhash_types.state -> 'a -> Base_internalhash_types.state) ->
  (Base_internalhash_types.state -> 'b -> Base_internalhash_types.state) ->
  Base_internalhash_types.state ->
  ('a, 'b) t ->
  Base_internalhash_types.state

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

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

val t_sexp_grammar : 
  'f Sexplib0.Sexp_grammar.t ->
  's Sexplib0.Sexp_grammar.t ->
  ('f, 's) t Sexplib0.Sexp_grammar.t

val invariant : ('a -> unit) -> ('b -> unit) -> ('a, 'b) t -> unit

val swap : ('f, 's) t -> ('s, 'f) t

val value : ('a, 'a) t -> 'a

val iter : ('a, 'b) t -> first:('a -> unit) -> second:('b -> unit) -> unit

val value_map : ('a, 'b) t -> first:('a -> 'c) -> second:('b -> 'c) -> 'c

val map : ('a, 'b) t -> first:('a -> 'c) -> second:('b -> 'd) -> ('c, 'd) t

val equal : 
  ('f -> 'f -> bool) ->
  ('s -> 's -> bool) ->
  ('f, 's) t ->
  ('f, 's) t ->
  bool

module type Focused = sig ... end

module First : sig ... end

module Second : sig ... end

val is_first : ('a, 'b) t -> bool

val is_second : ('a, 'b) t -> bool

val first : 'f -> ('f, 'a) t

val second : 's -> ('a, 's) t

module Export : sig ... end