Add a couple of missing docstrings

* sweeprolog.el
(sweeprolog-read-predicate-documentation-with-holes)
(sweeprolog-read-predicate-documentation-default-function): add
docstrings.

diff --git a/sweeprolog.el b/sweeprolog.el
index e62db75816fe471aa4ddb7ed952b11bbfad9c9bc..3e95d9fa74d152b3060dc07dab15809d23d5ff55 100644 (file)
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -3286,16 +3286,19 @@ predicate definition at or directly above POINT."
                term))))))
       term)))
 
-(defun sweeprolog-read-predicate-documentation-with-holes (fun ari)
-  (list (sweeprolog-format-term-with-holes fun ari)
+(defun sweeprolog-read-predicate-documentation-with-holes
+    (functor arity)
+  "Use holes for initial documentation for predicate FUNCTOR/ARITY."
+  (list (sweeprolog-format-term-with-holes functor arity)
         (sweeprolog--hole "Det")
         nil))
 
-(defun sweeprolog-read-predicate-documentation-default-function (fun
-                                                                 ari)
+(defun sweeprolog-read-predicate-documentation-default-function
+    (functor arity)
+  "Prompt for initial documentation for predicate FUNCTOR/ARITY."
   (let ((cur 1)
         (arguments nil))
-    (while (<= cur ari)
+    (while (<= cur arity)
       (let ((num (pcase cur
                    (1 "First")
                    (2 "Second")
@@ -3313,7 +3316,7 @@ predicate definition at or directly above POINT."
                         (?m "multi"     "Succeeds at least once")
                         (?u "undefined" "Undefined")))))
           (summary (read-string "Summary: ")))
-      (list (concat (sweeprolog-format-string-as-atom fun)
+      (list (concat (sweeprolog-format-string-as-atom functor)
                     (if arguments
                         (concat "("
                                 (mapconcat #'identity arguments ", ")