make module docstring

Author: Kris Brown

src/categorical_algebra/HomSearch.jl

@@ -1,3 +1,10 @@
+"""
+Functionality related to search problems involving ACSets, e.g.:
+
+- enumerating Hom(X,Y) where X,Y are ACSets
+- enumerating subobjects of an ACSet, X
+- enumerating partial overlaps between ACSets
+"""
 module HomSearch 
 export   ACSetHomomorphismAlgorithm, BacktrackingSearch, HomomorphismQuery,
         homomorphism, homomorphisms, is_homomorphic,
@@ -15,17 +22,6 @@ using CompTime
 using MLStyle: @match
 using DataStructures: BinaryHeap, DefaultDict
 
-
-"""
-Functionality related to search problems involving ACSets, e.g.:
-
-- enumerating Hom(X,Y) where X,Y are ACSets
-- enumerating subobjects of an ACSet, X
-- enumerating partial overlaps between ACSets
-"""
-
-
-
 # Finding C-set transformations
 ###############################