Module Dba.Jump_target

type 'a t = 'a jump_target
val outer : address -> 'a t
val inner : 'a -> 'a t
val is_inner : 'a t -> bool
val is_outer : 'a t -> bool