SMP (u.4e378f13246bf64c8de249498fde6b39.diffast-misc.0.3.5.1.doc.diffast-misc.Diffast

module Comparator (W : Weight.T) : sig ... end

type stat =

| Sfinished
| Sfree
| Sengaged of int

val stat_to_string : stat -> string

exception Failed of int * int

val get_stable_matches : 
  ?check:bool ->
  < compare_LR : int -> int -> int -> int
    ; compare_RL : int -> int -> int -> int.. > ->
  'a array ->
  'b array ->
  ('a * 'b) list

module ComparatorInt : sig ... end

module ComparatorFloat : sig ... end

module ComparatorFloatInt : sig ... end

module ComparatorFloatIntInt : sig ... end

module ComparatorIntFloat : sig ... end