@FILES
  {"splaytree"; "The SplayTree structure";}
@SIGNATURE SPLAY_TREE "splaytree" {
  @TYPES 
    @DATATYPE splay { SplayObj SplayNil}
  @VALS 
    join
    splay
}
@STRUCTURE SplayTree "splaytree" SPLAY_TREE
