libmojave/stdlib/lm_imp_dag.mli

   1 (*
   2  * Imperative DAGs.
   3  *
   4  * ----------------------------------------------------------------
   5  *
   6  * This file is part of MetaPRL, a modular, higher order
   7  * logical framework that provides a logical programming
   8  * environment for OCaml and other languages.
   9  *
  10  * See the file doc/htmlman/default.html or visit http://metaprl.org/
  11  * for more information.
  12  *
  13  * Copyright (C) 1998-2005 PRL Group, Cornell University and Caltech
  14  *
  15  * This library is free software; you can redistribute it and/or
  16  * modify it under the terms of the GNU Lesser General Public
  17  * License as published by the Free Software Foundation,
  18  * version 2.1 of the License.
  19  *
  20  * This library is distributed in the hope that it will be useful,
  21  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  22  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  23  * Lesser General Public License for more details.
  24  *
  25  * You should have received a copy of the GNU Lesser General Public
  26  * License along with this library; if not, write to the Free Software
  27  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
  28  *
  29  * Additional permission is given to link this library with the
  30  * OpenSSL project's "OpenSSL" library, and with the OCaml runtime,
  31  * and you may distribute the linked executables.  See the file
  32  * LICENSE.libmojave for more details.
  33  *
  34  * Author: Jason Hickey
  35  * jyh@cs.cornell.edu
  36  *)
  37 open Lm_dag_sig
  38
  39 module ImpDag : ImpDagSig
  40
  41 (*
  42  * -*-
  43  * Local Variables:
  44  * Caml-master: "editor.top"
  45  * End:
  46  * -*-
  47  *)