[ocaml] put softline before modules in module type definition

topiary-queries/queries/ocaml.scm

@@ -858,6 +858,7 @@
 (signature
   "sig" @append_spaced_softline
   [
+    (module_definition)
     (value_specification)
     (type_definition)
     ; start equivalence class

topiary/tests/samples/expected/ocaml-interface.mli

@@ -3088,7 +3088,8 @@ module Dal: sig
       context -> (context * Attestation.t) tzresult Lwt.t
   end
 
-  module Operations: sig module Publish_slot_header: sig
+  module Operations: sig
+    module Publish_slot_header: sig
       type t = {
         published_level: Raw_level.t;
         slot_index: Slot_index.t;

topiary/tests/samples/expected/ocaml.ml

@@ -1125,6 +1125,19 @@ let _ =
   | F ->
     bar
 
+(* #644: softlines before module definition in a module type *)
+module type F = sig
+  module G: sig val h : string end
+
+  type ('state, 'proof, 'output) implementation =
+    (
+      module S with
+      type state = 'state
+      and type proof = 'proof
+      and type output_proof = 'output
+    )
+end
+
 (* #645: idempotency error on first-class module types *)
 let peer_functor : (module Peer.F) =
   if !listening then (module Server) else (module Client)

topiary/tests/samples/input/ocaml.ml

@@ -1056,6 +1056,19 @@ let _ =
   | A | B | C
   | D | E | F -> bar
 
+(* #644: softlines before module definition in a module type *)
+module type F = sig
+  module G : sig val h : string end
+
+  type ('state, 'proof, 'output) implementation =
+    (
+      module S with
+      type state = 'state
+      and type proof = 'proof
+      and type output_proof = 'output
+    )
+end
+
 (* #645: idempotency error on first-class module types *)
 let peer_functor : (module Peer.F) =
   if !listening then (module Server) else (module Client)