include Generic_decoder_sig.Instr_Inputmodule State : sig ... endinclude Generic_decoder_sig.Expr_Input
with module M := Generic_decoder_sig.State_Monad(State)module Binary : sig ... endmodule Boolean : sig ... endval bin_of_bool : boolean -> binary Generic_decoder_sig.State_Monad(State).mval bool_of_bin : binary -> boolean Generic_decoder_sig.State_Monad(State).mval ite :
boolean ->
binary ->
binary ->
binary Generic_decoder_sig.State_Monad(State).mval get_var :
size:int ->
string ->
binary Generic_decoder_sig.State_Monad(State).mval load :
size:int ->
Machine.endianness ->
binary ->
binary Generic_decoder_sig.State_Monad(State).mval assume : boolean -> unit Generic_decoder_sig.State_Monad(State).mval unknown : size:int -> binary Generic_decoder_sig.State_Monad(State).mval undef : size:int -> binary Generic_decoder_sig.State_Monad(State).mval store :
size:int ->
Machine.endianness ->
binary ->
binary ->
State.t ->
State.tval initial_state : State.tval get_formula : State.t -> Formula.formula