package ppx_diff

  1. Overview
  2. Docs
val t1 : ('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
val t2 : ('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
val t3 : ('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
val t4 : ('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
val t5 : ('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
val fold : init:'acc__0 -> t1: ('acc__0 -> ('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__1) -> t2: ('acc__1 -> ('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__2) -> t3: ('acc__2 -> ('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__3) -> t4: ('acc__3 -> ('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__4) -> t5: ('acc__4 -> ('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__5) -> 'acc__5
val iter : t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> unit
val map : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a1_diff -> 'result__) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a2_diff -> 'result__) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a3_diff -> 'result__) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a4_diff -> 'result__) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a5_diff -> 'result__) -> 'result__
val make_matcher : t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__0 -> ('a1_diff -> 'result__) * 'acc__1) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__1 -> ('a2_diff -> 'result__) * 'acc__2) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__2 -> ('a3_diff -> 'result__) * 'acc__3) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__3 -> ('a4_diff -> 'result__) * 'acc__4) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__4 -> ('a5_diff -> 'result__) * 'acc__5) -> 'acc__0 -> (('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> 'result__) * 'acc__5
val to_rank : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> int
val to_name : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> string
val descriptions : (string * int) list
OCaml

Innovation. Community. Security.