indexing description: "Shared standard files" library: "Gobo Eiffel Kernel Library" author: "Eric Bezault <ericb@gobo.demon.co.uk>" copyright: "Copyright (c) 1997, Eric Bezault" class interface KL_SHARED_STANDARD_FILES feature -- Access std: KL_STANDARD_FILES -- Standard files ensure std_not_void: Result /= void invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class KL_SHARED_STANDARD_FILES