Module Jsil_syntax.Macro

module SSubst = Gillian.Symbolic.Subst
type t = {
  1. name : string;
    (*

    Name of the macro

    *)
  2. params : string list;
    (*

    Actual parameters

    *)
  3. definition : LCmd.t list;
    (*

    Macro definition

    *)
}
type t_tbl = (string, t) Stdlib.Hashtbl.t
val init_tbl : unit -> t_tbl
val get : t_tbl -> string -> t option
val pp : Stdlib.Format.formatter -> t -> unit
val pp_tbl : t_tbl Fmt.t