Asrt_utils (gillian-js.Javert_utils.Asrt

val points_to : 
  loc:Gillian.Gil_syntax.Expr.t ->
  field:Gillian.Gil_syntax.Expr.t ->
  value:Gillian.Gil_syntax.Expr.t ->
  Gillian.Gil_syntax.Asrt.atom

val metadata : 
  loc:Gillian.Gil_syntax.Expr.t ->
  metadata:Gillian.Gil_syntax.Expr.t ->
  Gillian.Gil_syntax.Asrt.atom

val empty_fields : 
  loc:Gillian.Gil_syntax.Expr.t ->
  domain:Gillian.Gil_syntax.Expr.t ->
  Gillian.Gil_syntax.Asrt.atom