Pattern (stanc.Common.Fixed.S2.Pattern)

type ('a, 'b) t

val fold : ('c -> 'a -> 'c) -> ('c -> 'b -> 'c) -> 'c -> ('a, 'b) t -> 'c

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

include Ppx_compare_lib.Comparable.S2 with type ('a, 'b) t := ('a, 'b) t

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

include Ppx_hash_lib.Hashable.S2 with type ('a, 'b) t := ('a, 'b) t

val hash_fold_t : 
  'a Base__Ppx_hash_lib.hash_fold ->
  'b Base__Ppx_hash_lib.hash_fold ->
  ('a, 'b) t Base__Ppx_hash_lib.hash_fold

include Sexplib0.Sexpable.S2 with type ('a, 'b) t := ('a, 'b) t

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

include Foldable.S2 with type ('a, 'b) t := ('a, 'b) t

val fold_left : 
  f:('c -> 'a -> 'c) ->
  g:('c -> 'b -> 'c) ->
  init:'c ->
  ('a, 'b) t ->
  'c

val fold_right : 
  f:('a -> 'c -> 'c) ->
  g:('b -> 'c -> 'c) ->
  init:'c ->
  ('a, 'b) t ->
  'c

val any : 
  pred_first:('a -> bool) ->
  pred_second:('b -> bool) ->
  ?init:bool ->
  ('a, 'b) t ->
  bool

val all : 
  pred_first:('a -> bool) ->
  pred_second:('b -> bool) ->
  ?init:bool ->
  ('a, 'b) t ->
  bool

include Pretty.S2 with type ('a, 'b) t := ('a, 'b) t

val pp : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  ('a, 'b) t ->
  unit