package binsec

  1. Overview
  2. Docs

Module Binsec.Interval

type 'a t = 'a Basic_types.interval = {
  1. lo : 'a;
  2. hi : 'a;
}
val belongs : ('a -> 'a -> int) -> 'a -> 'a t -> bool
val intersects : ('a -> 'a -> int) -> 'a t -> 'a t -> bool
module type S = sig ... end
module Make (Ord : Sigs.COMPARABLE) : S with type point = Ord.t and type interval = Ord.t t
module Flat (Ord : Sigs.ITERABLE) : S with type point = Ord.t and type interval = Ord.t t
module Int : S with type point = int and type interval = int t
module IntFlat : S with type point = int and type interval = int t
module Float : S with type point = float and type interval = float t
module FloatFlat : S with type point = float and type interval = float t
module BitVec : sig ... end
module BitVecFlat : sig ... end