Generic_decoder_sig (p.binsec.0.5.0.doc.binsec.Binsec.Generic_decoder

module type Monad = sig ... end

module Monadic_Arity (M : Monad) : sig ... end

module type Expr_Input = sig ... end

module State_Monad
  (State : sig ... end) : 
  Monad with type 'a m = State.t -> 'a * State.t

module type Instr_Input = sig ... end

type 'bin jump_target =

type ('bool, 'bin) jump_kind =