Module HIS.IntFloat

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