adjust STM_spec header

jmid · jmid · commit 2fb2517acd87 · 2022-11-14T09:33:38.000+01:00
diff --git a/lib/STM_spec.mli b/lib/STM_spec.mli
@@ -1,3 +1,5 @@
+(** Module with combinators and definitions to specify an STM test *)
+
 (** Extensible type to represent result values *)
 type 'a ty = ..
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+(** Module with combinators and definitions to specify an STM test *)`
	`2`	`+`
`1`	`3`	`(** Extensible type to represent result values *)`
`2`	`4`	`type 'a ty = ..`
`3`	`5`