wl_int_list Struct Reference

#include <extern.h>

Data Fields
GENERIC	value
ptr_int_list	next

---

Detailed Description

Definition at line 330 of file extern.h.

---

Field Documentation

GENERIC wl_int_list::value

Definition at line 331 of file extern.h.

Referenced by appendIntList(), bfs(), c_children(), c_glb(), c_lub(), c_parents(), cons(), copyTypeCode(), decode(), encode_types(), find_adults(), glb(), glb_code(), insert_own_prop(), insert_prop(), makeUnitList(), mark_ancestors(), matches(), open_module_one(), overlap_type(), print_code(), propagate_always_check(), propagate_definitions(), sub_CodeType(), two_to_the(), type_cyclicity(), type_disj_aim(), type_member(), and update_symbol().

ptr_int_list wl_int_list::next

Definition at line 332 of file extern.h.

Referenced by appendIntList(), bfs(), c_children(), c_glb(), c_lub(), c_parents(), cons(), copyTypeCode(), decode(), encode_types(), equalize_codes(), find_adults(), glb(), glb_code(), insert_own_prop(), insert_prop(), makeUnitList(), mark_ancestors(), matches(), open_module_one(), overlap_type(), print_code(), propagate_always_check(), propagate_definitions(), remove_cycles(), sub_CodeType(), two_to_the(), type_cyclicity(), type_disj_aim(), type_member(), and update_symbol().

---

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

• C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/extern.h

---