package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec_base.Interval`Source

Sourcetype 'a t = 'a Basic_types.interval = {

}

Sourcetype 'a overlap =

| Ll_Rl_Rh_Lh of 'a * 'a * 'a * 'a
(*
Left starts before and ends after right. [ left ] [ right ]
*)
| Rl_Ll_Lh_Rh of 'a * 'a * 'a * 'a
(*
Right starts before and ends after left. [ left ] [ right ]
*)
| Ll_Rl_Lh_Rh of 'a * 'a * 'a * 'a
(*
Right starts and ends after left. [ left ] [ right ]
*)
| Rl_Ll_Rh_Lh of 'a * 'a * 'a * 'a
(*
Left starts and ends after right. [ left ] [ right ]
*)
| LRl_Rh_Lh of 'a * 'a * 'a
(*
Left ends after right. [ left ] [ right ]
*)
| LRl_Lh_Rh of 'a * 'a * 'a
(*
Right ends after left. [ left ] [ right ]
*)
| Ll_Rl_LRh of 'a * 'a * 'a
(*
Left starts before right. [ left ] [ right ]
*)
| Rl_Ll_LRh of 'a * 'a * 'a
(*
Right starts before left. [ left ] [ right ]
*)
| 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

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

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