Macro (p.goblint.1.1.1.doc.goblint.lib.Pml.Macro)

val define : 
  string ->
  (('a e * 'a e * ('a e -> unit e) * unit e) var,
    ('a e * 'a e * ('a e -> unit e) * unit e) var,
    ('a e * 'a e * ('a e -> unit e) * unit e) var,
    ('a e * 'a e * ('a e -> unit e) * unit e) var,
    ('a e * 'a e * ('a e -> unit e) * unit e) var,
    'b)
    args ->
  unit * string

val _if : ('a * string) -> unit * string

val _endif : unit * string