class
	STUDENT

General
	cluster: registrar
	description: "A student with their administrative information."
	create: make

Ancestors
	DEBUG_OUTPUT*

Queries
	debug_output: STRING_8
	is_equal (other: [like Current] STUDENT): BOOLEAN
	name: STRING_8
	out: STRING_8

Commands
	make (n: STRING_8)


Generated by ISE EiffelStudio