srn_kleene_app_t Struct Reference

SRN_KL_APP and SRN_KL_PAPP: fn applied to args. More...

#include <kleene.h>

Collaboration diagram for srn_kleene_app_t:

Data Fields
srn_kleene_node_t *	fn
srn_kleene_node_t **	args
size_t	arg_count

Detailed Description

SRN_KL_APP and SRN_KL_PAPP: fn applied to args.

Each arg is an atom node (VAR, LIT, or GLOBAL).

Definition at line 112 of file kleene.h.

Field Documentation

arg_count

size_t srn_kleene_app_t::arg_count

Definition at line 115 of file kleene.h.

args

srn_kleene_node_t** srn_kleene_app_t::args

Definition at line 114 of file kleene.h.

fn

srn_kleene_node_t* srn_kleene_app_t::fn

Definition at line 113 of file kleene.h.

---

The documentation for this struct was generated from the following file:

• serene/ir/kleene.h