Constr.Othersval pred :
string ->
Gillian.Gil_syntax.Expr.t list ->
Gillian.Gil_syntax.Asrt.atomval malloced_abst :
ptr:Gillian.Gil_syntax.Expr.t ->
total_size:Gillian.Gil_syntax.Expr.t ->
Gillian.Gil_syntax.Asrt.atomval malloced :
ptr:(Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) ->
total_size:Z.t ->
Gillian.Gil_syntax.Asrt.atomval zeros_ptr_size :
ptr:Gillian.Gil_syntax.Expr.t ->
size:Gillian.Gil_syntax.Expr.t ->
Gillian.Gil_syntax.Asrt.atomval undefs_ptr_size :
ptr:Gillian.Gil_syntax.Expr.t ->
size:Gillian.Gil_syntax.Expr.t ->
Gillian.Gil_syntax.Asrt.atomval array_ptr :
ptr:Gillian.Gil_syntax.Expr.t ->
chunk:Chunk.t ->
size:Gillian.Gil_syntax.Expr.t ->
content:Gillian.Gil_syntax.Expr.t ->
Gillian.Gil_syntax.Asrt.atomval ptr_add :
ptr:Gillian.Gil_syntax.Expr.t ->
to_add:Gillian.Gil_syntax.Expr.t ->
res:Gillian.Gil_syntax.Expr.t ->
Gillian.Gil_syntax.Asrt.atom