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