package diffast-misc

  1. Overview
  2. Docs

Parameters

module W : Weight.T

Signature

exception Found of int * W.t
exception Break
val comp_pair : ('a * 'b) -> ('a * 'b) -> int
val ptos : (int * W.t) -> string
val insert : 'a list ref -> 'a -> unit
val delete : 'a list ref -> 'a -> unit
val phi_pair : int * W.t
val prev : (int * W.t) list -> (int * W.t) -> int * W.t
val next : (int * W.t) list -> (int * W.t) -> int * W.t
val compute : (int -> int -> 'a -> W.t) -> 'a array -> 'a array -> (int * int) list
OCaml

Innovation. Community. Security.