Module Gil_syntax.Macro

GIL Macros

type t = {
  1. macro_name : string;
    (*

    Name of the macro

    *)
  2. macro_params : string list;
    (*

    Actual parameters

    *)
  3. macro_definition : Gillian.Gil_syntax.LCmd.t list;
    (*

    Macro definition

    *)
}
val pp : Stdlib.Format.formatter -> t -> unit

Pretty-printer

val pp_tbl : (string, t) Utils.Prelude.Hashtbl.t Fmt.t

Table pretty-printer

val get : (string, t) Utils.Prelude.Hashtbl.t -> string -> t option

Retrieves a macro definition by name