[/] [trunk/] [src/] [config/] [config_tree.sig] -
Diff 55 ⟶ 62
Diff between revs
55
and
62
| Rev 55 |
Rev 62 |
|---|
| Line 1... |
Line 1... |
(* $Id: config_tree.sig 55 2008-07-25 01:42:07Z tbourke $
|
(* $Id: config_tree.sig 62 2008-08-20 11:20:33Z tbourke $
|
*
|
*
|
* 20071018 T. Bourke
|
* Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
|
* Original code.
|
* All rights reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms of the "BSD License" which is distributed with the
|
|
* software in the file LICENSE.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the BSD
|
|
* License for more details.
|
*)
|
*)
|
|
|
signature CONFIG_TREE = sig
|
signature CONFIG_TREE = sig
|
|
|
type symbol = Atom.atom
|
type symbol = Atom.atom
|
type symbol = Atom.atom
|
type symbol = Atom.atom
|