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