Sourcetype obj =
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t,
Binsec.Ast.t,
Binsec.Ast.Expr.t Binsec.Ast.loc,
Binsec.Ast.Instr.t,
unit,
Buffer.t,
unit,
Buffer.t,
Binsec.Ast.Loc.t Binsec.Ast.loc,
Binsec.Ast.Obj.t,
unit,
string option,
Binsec.Dba.Var.Tag.attribute,
Binsec.Dba.Var.Tag.attribute,
Binsec.Dba.Var.Tag.attribute option,
((Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc)
list,
Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list,
Binsec.Ast.Instr.t list,
Binsec.Ast.Instr.t list list,
Binsec.Ast.Instr.t list list,
Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list,
Z.t,
Binsec.Ast.Instr.t list,
Binsec.Ast.Instr.t list option,
string,
string option,
Binsec.Ast.Instr.t list list,
Z.t option,
Binsec.Machine.endianness,
Binsec.Machine.endianness option,
Z.t,
Z.t option,
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc,
((Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc)
list,
Binsec.Machine.endianness,
Z.t,
unit,
int Binsec.Interval.t,
unit,
Binsec.Ast.t list,
Binsec.Ast.Instr.t list,
string,
Binsec.Ast.Symbol.t Binsec.Ast.loc,
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
Syntax.obj