Module Binsec_base.IntervalSource

Sourcetype 'a t = 'a Basic_types.interval = {
  1. lo : 'a;
  2. hi : 'a;
}
Sourcetype 'a overlap =
  1. | Ll_Rl_Rh_Lh of 'a * 'a * 'a * 'a
    (*

    Left starts before and ends after right. [ left ] [ right ]

    *)
  2. | Rl_Ll_Lh_Rh of 'a * 'a * 'a * 'a
    (*

    Right starts before and ends after left. [ left ] [ right ]

    *)
  3. | Ll_Rl_Lh_Rh of 'a * 'a * 'a * 'a
    (*

    Right starts and ends after left. [ left ] [ right ]

    *)
  4. | Rl_Ll_Rh_Lh of 'a * 'a * 'a * 'a
    (*

    Left starts and ends after right. [ left ] [ right ]

    *)
  5. | LRl_Rh_Lh of 'a * 'a * 'a
    (*

    Left ends after right. [ left ] [ right ]

    *)
  6. | LRl_Lh_Rh of 'a * 'a * 'a
    (*

    Right ends after left. [ left ] [ right ]

    *)
  7. | Ll_Rl_LRh of 'a * 'a * 'a
    (*

    Left starts before right. [ left ] [ right ]

    *)
  8. | Rl_Ll_LRh of 'a * 'a * 'a
    (*

    Right starts before left. [ left ] [ right ]

    *)
  9. | LRl_LRh of 'a * 'a
    (*

    Left and right are equal. [ left ] [ right ]

    *)
Sourceval overlap : Z.t t -> Z.t t -> Z.t overlap
Sourceval belongs : ('a -> 'a -> int) -> 'a -> 'a t -> bool
Sourceval intersects : ('a -> 'a -> int) -> 'a t -> 'a t -> bool
Sourcemodule type S = sig ... end
Sourcemodule Make (Ord : Sigs.COMPARABLE) : S with type point = Ord.t and type interval = Ord.t t
Sourcemodule Flat (Ord : Sigs.ITERABLE) : S with type point = Ord.t and type interval = Ord.t t
Sourcemodule Int : S with type point = int and type interval = int t
Sourcemodule IntFlat : S with type point = int and type interval = int t
Sourcemodule Float : S with type point = float and type interval = float t
Sourcemodule FloatFlat : S with type point = float and type interval = float t
Sourcemodule BitVec : sig ... end
Sourcemodule BitVecFlat : sig ... end