Core (transformers.C_states.Constr.Core)

val pred : 'a -> 'b -> 'c -> 'a * 'b * 'c

val single : 
  ofs:Gillian.Gil_syntax.Expr.t ->
  chunk:Cgil_lib.Chunk.t ->
  sval:Gillian.Gil_syntax.Expr.t ->
  perm:Compcert.Memtype.permission option ->
  LActions.ga * Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t list

val array : 
  ofs:Gillian.Gil_syntax.Expr.t ->
  chunk:Cgil_lib.Chunk.t ->
  size:Gillian.Gil_syntax.Expr.t ->
  sval_arr:Gillian.Gil_syntax.Expr.t ->
  perm:Compcert.Memtype.permission option ->
  LActions.ga * Gillian.Gil_syntax.Expr.t list * Gillian.Gil_syntax.Expr.t list

val hole : 
  low:'a ->
  high:'a ->
  perm:Compcert.Memtype.permission option ->
  LActions.ga * 'a list * Gillian.Gil_syntax.Expr.t list

val zeros : 
  low:'a ->
  high:'a ->
  perm:Compcert.Memtype.permission option ->
  LActions.ga * 'a list * Gillian.Gil_syntax.Expr.t list

val bounds : 
  low:Gillian.Gil_syntax.Expr.t ->
  high:Gillian.Gil_syntax.Expr.t ->
  LActions.ga * 'a list * Gillian.Gil_syntax.Expr.t list