LCmd (gillian.Gil_syntax.LCmd)

type t =

| If of Gillian.Gil_syntax.Expr.t * t list * t list
(*
If-then-else
*)
| Branch of Gillian.Gil_syntax.Formula.t
(*
Branching on a FO formual
*)
| Macro of string * Gillian.Gil_syntax.Expr.t list
(*
Macros
*)
| Assert of Gillian.Gil_syntax.Formula.t
(*
Assert
*)
| Assume of Gillian.Gil_syntax.Formula.t
(*
Assume
*)
| AssumeType of Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Type.t
(*
Assume Type
*)
| FreshSVar of string
(*
x := fresh_svar()
*)
| SL of Gillian.Gil_syntax.SLCmd.t
(*
Separation-logic command
*)

val map : 
  (t -> t) option ->
  (Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t) option ->
  (Gillian.Gil_syntax.Formula.t -> Gillian.Gil_syntax.Formula.t) option ->
  (Gillian.Gil_syntax.SLCmd.t -> Gillian.Gil_syntax.SLCmd.t) option ->
  t ->
  t

deprecated
Use Visitors.endo instead

val pp : t Fmt.t

Pretty-printer