wl_triple_list Struct Reference

#include <extern.h>

Data Fields
ptr_psi_term	a
ptr_psi_term	b
ptr_definition	c
ptr_triple_list	next

---

Detailed Description

Definition at line 503 of file extern.h.

---

Field Documentation

ptr_psi_term wl_triple_list::a

Definition at line 504 of file extern.h.

Referenced by fetch_def(), fetch_def_lazy(), and insert_prop().

ptr_psi_term wl_triple_list::b

Definition at line 505 of file extern.h.

Referenced by fetch_def(), fetch_def_lazy(), and insert_prop().

ptr_definition wl_triple_list::c

Definition at line 506 of file extern.h.

Referenced by fetch_def(), fetch_def_lazy(), and insert_prop().

ptr_triple_list wl_triple_list::next

Definition at line 507 of file extern.h.

Referenced by fetch_def(), fetch_def_lazy(), and insert_prop().

---

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

---