wl_keyword Struct Reference

#include <extern.h>

Data Fields
ptr_module	module
char *	symbol
char *	combined_name
int	public
int	private_feature
ptr_definition	definition

---

Detailed Description

Definition at line 376 of file extern.h.

---

Field Documentation

ptr_module wl_keyword::module

Definition at line 377 of file extern.h.

Referenced by all_public_symbols(), c_module_name(), import_symbol_internal(), make_public(), and update_symbol().

char* wl_keyword::symbol

Definition at line 378 of file extern.h.

Referenced by add_rule(), assert_args_not_eval(), assert_attributes(), assert_complicated_type(), assert_less(), assert_protected(), c_alias(), c_apply(), c_exist_feature(), c_listing(), c_project(), c_psi2string(), clause_aim(), declare_operator(), encode_types(), import_symbol_internal(), init_built_in_types(), make_public(), open_module_one(), psi_to_string(), read_psi_term(), redefine(), replace_attr(), type_disj_aim(), and update_symbol().

char* wl_keyword::combined_name

Definition at line 379 of file extern.h.

Referenced by add_rule(), c_alias(), c_combined_name(), c_exist_feature(), c_project(), import_symbol_internal(), make_feature_private(), make_public(), open_module_one(), read_psi_term(), redefine(), replace_attr(), and update_symbol().

int wl_keyword::public

Definition at line 380 of file extern.h.

Referenced by all_public_symbols(), import_symbol_internal(), init_built_in_types(), make_feature_private(), make_public(), open_module_one(), and update_symbol().

int wl_keyword::private_feature

Definition at line 381 of file extern.h.

Referenced by c_exist_feature(), c_project(), import_symbol_internal(), make_feature_private(), read_psi_term(), replace_attr(), update_feature(), and update_symbol().

ptr_definition wl_keyword::definition

Definition at line 382 of file extern.h.

Referenced by c_alias(), import_symbol_internal(), make_feature_private(), make_public(), open_module_one(), update_feature(), 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

---