expanded class
	RESULT_E

General
	cluster: brie_doom
	description: "result_e from p_spec.h"

Ancestors
	ANY

Queries
	Crushed: RESULT_E
	item: INTEGER_32
	Ok: RESULT_E
	Pastdest: RESULT_E

Generated by ISE EiffelStudio