wl_pair_list Struct Reference

#include <extern.h>

Data Fields
ptr_psi_term	a
ptr_psi_term	b
ptr_pair_list	next

---

Detailed Description

Definition at line 496 of file extern.h.

---

Field Documentation

ptr_psi_term wl_pair_list::a

Definition at line 497 of file extern.h.

Referenced by add_rule(), c_freeze_inner(), c_listing(), c_setq(), eval_aim(), insert_own_prop(), and prove_aim().

ptr_psi_term wl_pair_list::b

Definition at line 498 of file extern.h.

Referenced by abort_life(), add_rule(), c_freeze_inner(), c_listing(), c_setq(), eval_aim(), insert_own_prop(), and prove_aim().

ptr_pair_list wl_pair_list::next

Definition at line 499 of file extern.h.

Referenced by add_rule(), c_freeze_inner(), c_listing(), c_setq(), eval_aim(), insert_own_prop(), and prove_aim().

---

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

---