documentation changes

lib/github.com/diku-dk/sml-sobol/sobol.sig

@@ -1,6 +1,9 @@
-(* Quasi-random Sobol number generation. Ported from the Futhark Sobol
-   sequence implementation.
- *)
+(** Quasi-random Sobol number generation.
+
+Quasi-random Sobol number generation ported from the Futhark Sobol
+sequence implementation.
+
+*)
 
 signature SOBOL = sig
 
@@ -15,11 +18,14 @@ end
 
 (**
 
+[type vecD] The type of arrays of size D (not statically inforced).
+
 [D] The dimensionality of a sequence.
 
 [norm] The real value `2.0**32`.
 
-[frac w] turns the Word32.word value w into a real in the interval [0;1[
+[frac w] turns the Word32.word value w into a real in the interval
+(0;1(.
 
 [independent i] returns the `i`'th sobol vector of size D.
 

lib/github.com/diku-dk/sml-sobol/sobol_dir.sig

@@ -1,4 +1,4 @@
-(* Interface for Sobol direction vectors *)
+(** Interface for Sobol direction vectors *)
 
 signature SOBOL_DIR = sig
   val n : int
@@ -7,3 +7,14 @@ signature SOBOL_DIR = sig
   val a : Word32.word Array.array  (* of size n *)
   val s : int Array.array          (* of size n *)
 end
+
+(**
+
+[Discussion]
+
+These constants and arrays are used for generating sobol
+sequences. Different instantiations of this signature are available,
+dependent on the dimensionality of the required sequence of Sobol
+vectors.
+
+*)

lib/github.com/diku-dk/sml-sobol/sobol_dir50.sml

@@ -7,6 +7,7 @@
    available from https://github.com/diku-dk/sobol-futhark
  *)
 
+(** SigDoc *)
 structure SobolDir50 : SOBOL_DIR = struct
 
 val n : int = 50