From 7e6b2c6311933f8ef947935f5d4b5897816ab3e4 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 15 Mar 2020 16:41:56 -0400
Subject: [ocamlformat] Use doc-comments=before style.

IMHO it is a bit more logical, WDYT?
---
 plugins/micromega/zify.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'plugins/micromega/zify.ml')

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
-- 
cgit v1.2.3