Merge PR #11832: [ocamlformat] Use doc-comments=before style.

Reviewed-by: Zimmi48

1 files changed, 3 insertions, 3 deletions

diff --git a/plugins/micromega/zify.ml b/plugins/micromega/zify.ml
index 53a58342d2..41579d5792 100644
--- a/plugins/micromega/zify.ml
+++ b/plugins/micromega/zify.ml
@@ -326,20 +326,20 @@ type term_kind = Application of EConstr.constr | OtherTerm of EConstr.constr
 module type Elt = sig
   type elt
 
-  val name : string
   (** name *)
+  val name : string
 
   val table : (term_kind * decl_kind) HConstr.t ref
   val cast : elt decl -> decl_kind
   val dest : decl_kind -> elt decl option
 
-  val get_key : int
   (** [get_key] is the type-index used as key for the instance *)
+  val get_key : int
 
-  val mk_elt : Evd.evar_map -> EConstr.t -> EConstr.t array -> elt
   (** [mk_elt evd i [a0,..,an]  returns the element of the table
         built from the type-instance i and the arguments (type indexes and projections)
         of the type-class constructor. *)
+  val mk_elt : Evd.evar_map -> EConstr.t -> EConstr.t array -> elt
 
   (*  val arity : int*)
 end