@FILES
  {"match-tree"; "The MatchTree structure";}
@SIGNATURE MATCH_TREE "match-tree" {
  @TYPES 
    @DATATYPE match_tree { Match}
  @VALS 
    num
    find
    root
    map
    app
    nth
}
@STRUCTURE MatchTree "match-tree" MATCH_TREE
