docs: add docstring for array_literal

Author: AayushSabharwal

docs/src/manual/variants.md

@@ -108,10 +108,10 @@ variant. This variant can be constructed using `Const{T}(val)` or `BSImpl.Const{
 where `T` is the appropriate `vartype`.
 
 The `Const` constructors have an additional special behavior. If given an array of symbolics
-(or array of array of ... symbolics), it will return a `Term` (see below) with [`array_literal`](@ref)
-as the operation. This allows standard symbolic operations (such as [`substitute`](@ref)) to
-work on arrays of symbolics without excessive special-case handling and improved
-type-stability.
+(or array of array of ... symbolics), it will return a `Term` (see below) with
+[`SymbolicUtils.array_literal`](@ref) as the operation. This allows standard symbolic
+operations (such as [`substitute`](@ref)) to work on arrays of symbolics without excessive
+special-case handling and improved type-stability.
 
 ```julia
 struct Sym

src/types.jl

@@ -1484,6 +1484,15 @@ function _is_tuple_of_symbolics(O::Tuple)
 end
 _is_tuple_of_symbolics(O) = false
 
+"""
+    $TYPEDSIGNATURES
+
+Utility function used as the operation of expressions representing an array of symbolic values.
+See [`SymbolicUtils.BSImpl.Const`](@ref) for more details.
+
+The first argument `sz` is the `size` of the represented array. `args...` is `prod(sz)`
+elements representing the elements of the array in column-major order.
+"""
 array_literal(sz::NTuple{N, Int}, args...) where {N} = reshape(Base.vect(args...), sz)
 
 """
@@ -1502,7 +1511,8 @@ arrays/tuples of symbolics to symbolic expressions.
 This is the low-level constructor for constant expressions. It handles several special cases:
 1. If `val` is already a `BasicSymbolic{T}`, returns it unchanged
 2. If `val` is a `BasicSymbolic` of a different variant type, throws an error
-3. If `val` is an array containing symbolic elements, creates a `Term` with [`array_literal`](@ref) operation
+3. If `val` is an array containing symbolic elements, creates a `Term` with
+   [`SymbolicUtils.array_literal`](@ref) operation
 4. If `val` is a tuple containing symbolic elements, creates a `Term` with `tuple` operation
 5. Otherwise, creates a `Const` variant wrapping the value