Module Generic_decoder_sig

module Generic_decoder_sig: sig .. end

module type Monad = sig .. end
module Monadic_Arity: 
functor (M : Monad) -> sig .. end
module type Expr_Input = sig .. end
module State_Monad: 
functor (State : sig
type t 
end) -> Monad with type 'a m = State.t -> ('a * State.t)
module type Instr_Input = sig .. end
type 'bin jump_target = 
| Static of Dba.jump_target
| Dynamic of 'bin
type ('bool, 'bin) jump_kind = 
| JKIf of 'bool * 'bin jump_target
* 'bin jump_target
| JKJump of 'bin jump_target
| JKStop
| JKAssume of 'bool * 'bin jump_target