-- Copyright 1993-1998, by the Cecil Project
-- Department of Computer Science and Engineering, University of Washington
-- See the LICENSE file for license information.


(** library("smallstdlib") **)

(-- the system predefines the following declarations:
template object int;
template object single_float;
template object double_float;
template object char;
template object i_vector[T];
template object m_vector[T];
template object i_float_vector;
template object m_float_vector;
template object i_word_vector;
template object m_word_vector;
template object i_vstring;
template object m_vstring;
template object unix_file;
template object runtime_env;
abstract representation closure;
abstract object bool;
concrete representation true isa bool;
concrete representation false isa bool;
--)

include "general.cecil";

include "closure.cecil";
include "boolean.cecil";

include "comparable.cecil";

include "number.cecil";
  include "integer.cecil";
    include "small-int.cecil";
  include "float.cecil";
    include "single-float.cecil";
    include "double-float.cecil";

include "character.cecil";

include "pair.cecil";

include "collection.cecil";
  include "extensible.cecil";
  include "table.cecil";
    include "assoc-table.cecil";
    include "identity-table.cecil";
  include "ordered.cecil";
    include "sequence.cecil";
      include "indexed.cecil"; 
        include "vector.cecil";
        include "string.cecil";
        include "interval.cecil";
      include "list.cecil";
  include "allowing-updates.cecil";

include "system.cecil";
include "error.cecil";

include "specialized.cecil";