Module Binsec.Cfg

Control Flow Graphs

type direction =
  1. | Forward
  2. | Backward
module type S = sig ... end
module Make (A : Sigs.HASHABLE) (I : Hashtbl.HashedType) (S : Hashtbl.HashedType) : S with type addr = A.t and type inst = I.t and type symb = S.t