srn_kleene_ctor_t Struct Reference

SRN_KL_CTOR: build a value with constructor tag from atom fields. More...

#include <kleene.h>

Collaboration diagram for srn_kleene_ctor_t:

Data Fields
int32_t	tag
	Constructor tag, relative to the value's type.
srn_kleene_node_t **	fields
	Atom fields.
size_t	field_count
	Number of fields.

Detailed Description

SRN_KL_CTOR: build a value with constructor tag from atom fields.

Definition at line 127 of file kleene.h.

Field Documentation

field_count

size_t srn_kleene_ctor_t::field_count

Number of fields.

Definition at line 133 of file kleene.h.

fields

srn_kleene_node_t** srn_kleene_ctor_t::fields

Atom fields.

Definition at line 131 of file kleene.h.

tag

int32_t srn_kleene_ctor_t::tag

Constructor tag, relative to the value's type.

Definition at line 129 of file kleene.h.

---

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

• serene/ir/kleene.h