You can search for identifiers within the package.
in-package search v0.2.0
catala.verification
Verification
module Conditions : sig ... end
Generates verification conditions from scope definitions
module Io : sig ... end
Common code for handling the IO of all proof backends supported
module Solver : sig ... end
Solves verification conditions using various proof backends
module Z3backend : sig ... end
Interfacing with the Z3 SMT solver