blob: a737700f6aeeb0db7884cbae6d16c28e641f900f (
about) (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
include Prelude
include Interp
include Operational
include Res
(* Stuff that's not part of the paper. Still exposed because we sometimes want
to be able to create a natural number, float, process a list etc. *)
module Internal = struct
module BinNums = BinNums
module Datatypes = Datatypes
module List = List
module Floats = struct
include Floats
include Binary
include SpecFloat
end
end
|
