You can search for identifiers within the package.
in-package search v0.2.0
module AllocCache = AllocCache
module Binder = Binder
module Builtin = Builtin
module Cnf = Cnf
module Comparison = Comparison
module Congruence = Congruence
module DBEnv = DBEnv
module Dtree = Dtree
module FOTerm = FOTerm
module FeatureVector = FeatureVector
module Fingerprint = Fingerprint
module HVar = HVar
module Hashcons = Hashcons
module IArray = IArray
module ID = ID
module IDOrBuiltin = IDOrBuiltin
module Ind_ty = Ind_ty
module Index = Index
module Index_intf = Index_intf
module InnerTerm = InnerTerm
module Interfaces = Interfaces
module LazyList = LazyList
module Multiset = Multiset
module Multiset_intf = Multiset_intf
module NPDtree = NPDtree
module Options = Options
module Ordering = Ordering
module ParseLocation = ParseLocation
module Position = Position
module Precedence = Precedence
module SLiteral = SLiteral
module STerm = STerm
module Scoped = Scoped
module Signature = Signature
module Skolem = Skolem
module Statement = Statement
module StatementSrc = StatementSrc
module Substs = Substs
module Type = Type
module TypeInference = TypeInference
module TypedSTerm = TypedSTerm
module Unif = Unif
module Unif_intf = Unif_intf
module UntypedAST = UntypedAST
module Util = Util
module Var = Var