Monolith.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37(******************************************************************************) (* *) (* Monolith *) (* *) (* François Pottier *) (* *) (* Copyright Inria. All rights reserved. This file is distributed under the *) (* terms of the GNU Lesser General Public License as published by the Free *) (* Software Foundation, either version 3 of the License, or (at your *) (* option) any later version, as described in the file LICENSE. *) (* *) (******************************************************************************) module Gen = Gen type 'a gen = 'a Gen.gen module Print = Print type 'a printer = 'a Print.printer module Support = Support include Code include Spec include BuiltinInt include BuiltinBool include BuiltinComparison include BuiltinExn include BuiltinAbstract include BuiltinArray include BuiltinArrows include BuiltinRot include BuiltinSeq include BuiltinTuple include BuiltinIteration include Ops include DelayedOutput include Engine