cleaning up

generator/stdlib_ml/stdlib.mli

@@ -86,12 +86,6 @@ module Int64 : sig
   val float_of_bits : int64 -> float
 end
 
-(* This may be awkward! *)
-module Lazy : sig
-  type 'a t
-  val force : 'a t -> 'a (* ARTHUR added *)
-end
-
 module List : sig
   val map : ('a -> 'b) -> 'a list -> 'b list
   val rev : 'a list -> 'a list

generator/tests/jsref/JsCommon.ml

@@ -6,7 +6,6 @@ open JsSyntaxAux
 open LibList
 open LibNat
 open LibOption
-open LibStream
 open LibString
 open List0
 open Shared

generator/tests/jsref/JsInit.ml

@@ -4,9 +4,8 @@ open JsPreliminary
 open JsSyntax
 open JsSyntaxAux
 open LibInt
-open LibStream
 
-(** val prop_attributes_for_global_object : value -> attributes_data **)
+(** Val prop_attributes_for_global_object : value -> attributes_data **)
 
 let prop_attributes_for_global_object v =
   { attributes_data_value = v; attributes_data_writable = true;

generator/tests/jsref/JsSyntax.ml

 open JsNumber
 open LibHeap
 open LibReflect
-open LibStream
 open Shared
 
 module Heap = HeapGen(HeapList)

generator/tests/jsref/LibStream.ml

-type 'a stream = 'a __stream Lazy.t
-and 'a __stream =
-| Coq_stream_intro  [@f label0, label1] of 'a * 'a stream (** Auto Generated Attributes **)
-