[/] [trunk/] [src/] [cmdlang/] [nta_util.sig] -
Diff 20 ⟶ 62
Diff between revs
20
and
62
| Rev 20 |
Rev 62 |
|---|
| Line 1... |
Line 1... |
(* $Id: nta_util.sig 20 2007-12-03 05:36:37Z tbourke $ *)
|
(* $Id: nta_util.sig 62 2008-08-20 11:20:33Z tbourke $
|
|
*
|
|
* Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
|
|
* 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 NTA_UTIL =
|
signature NTA_UTIL =
|
sig
|
sig
|
type symbol = Atom.atom
|
type symbol = Atom.atom
|
|
|
|
|