Module Jsil_syntax.LabCmd

JSIL Labelled Commmands *

type t =
  1. | LBasic of BCmd.t
  2. | LLogic of LCmd.t
  3. | LGoto of string
  4. | LGuardedGoto of Expr.t * string * string
  5. | LCall of string * Expr.t * Expr.t list * string option * (string * (string * Expr.t) list) option
  6. | LECall of string * Expr.t * Expr.t list * string option
  7. | LApply of string * Expr.t * string option
  8. | LArguments of string
  9. | LPhiAssignment of (string * Expr.t list) list
  10. | LReturnNormal
  11. | LReturnError
val pp_logic_bindings : Stdlib.Format.formatter -> (string * (string * Expr.t) list) -> unit
val pp : Stdlib.Format.formatter -> t -> unit