		Search-engine friendly clone of the ACL2 documentation.

Fgl-object

G-apply

FGL object constructor for function calls.

This is a product type, introduced by defflexsum in support of fgl-object.

Fields

fn — pseudo-fnsym
args — fgl-objectlist

An object constructed as (g-apply fn args) represents the application of function symbol fn to the evaluation of args, which must be a list of FGL objects.

Subtopics

Make-g-apply: Basic constructor macro for g-apply structures.
G-apply->args: Get the args field from a g-apply.
G-apply->fn: Get the fn field from a g-apply.
Change-g-apply: Modifying constructor for g-apply structures.