gillian » Gillian » Gil_syntax » Macro

Module Gil_syntax.Macro

type t = {

1. macro_name : string;
   (*

   Name of the macro

   *)
2. macro_params : string list;
   (*

   Actual parameters

   *)
3. macro_definition : 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