Add short module descriptions for modules that didn't have one

Author: MichaelRFairhurst

src/qtil/fn/All.qll

@@ -1,3 +1,5 @@
+/** A module that defines the set of all values of a given type. */
+
 private import qtil.parameterization.SignatureTypes
 private import qtil.fn.FnTypes
 private import qtil.fn.Tp

src/qtil/fn/Fn.qll

@@ -1 +1,3 @@
+/** A module that defines function-like predicate signatures of various arities, generated for use with parameterized modules. */
+
 import qtil.fn.generated.Fn

src/qtil/fn/Ordering.qll

@@ -1 +1,3 @@
+/** A module that defines ordering-related predicate signatures for use with ordered data structures. */
+
 import qtil.fn.generated.Ordering

src/qtil/fn/ResultSet.qll

@@ -1,3 +1,5 @@
+/** A module that defines the set of result values produced by a predicate. */
+
 private import qtil.parameterization.SignatureTypes
 private import qtil.fn.FnTypes
 private import qtil.fn.Tp

src/qtil/inheritance/Finitize.qll

@@ -1,3 +1,5 @@
+/** A module to convert an infinite type into a finite type by constraining it with a predicate. */
+
 private import qtil.parameterization.SignatureTypes
 private import qtil.parameterization.SignaturePredicates
 private import qtil.parameterization.Finalize

src/qtil/inheritance/Instance.qll

@@ -1,3 +1,5 @@
+/** A module that simplifies `instanceof` inheritance in CodeQL by automatically providing `toString()` and a convenience cast member `inst()`. */
+
 private import qtil.parameterization.SignatureTypes
 
 /**

src/qtil/list/CondensedList.qll

@@ -1,3 +1,5 @@
+/** A module similar to `Ordered`, which takes orderable data and optional groupings to make it easy to traverse as a list. */
+
 private import qtil.parameterization.SignatureTypes
 private import qtil.parameterization.SignaturePredicates
 private import qtil.inheritance.Instance

src/qtil/list/Ordered.qll

@@ -1,3 +1,5 @@
+/** A module for adding `getNext()` and `getPrevious()` traversal predicates to orderable data, with optional grouping support. */
+
 private import qtil.list.CondensedList
 private import qtil.parameterization.Finalize
 private import qtil.parameterization.SignatureTypes

src/qtil/locations/NullLocation.qll

@@ -1,3 +1,5 @@
+/** This module provides a `NullLocation` class that can be convenient for implementing optional placeholder in an alert message. */
+
 private import codeql.util.Unit
 private import codeql.util.Option
 private import codeql.util.Location

src/qtil/locations/OptionalLocation.qll

@@ -1,3 +1,5 @@
+/** A module providing an `OptionalLocation` class that behaves like `Option<Location>` and implements the `hasLocation()` predicate expected by the CodeQL engine. */
+
 private import codeql.util.Option
 private import codeql.util.Location
 private import qtil.parameterization.Finalize