MigraSourcemodule Database : sig ... endPublic database lifecycle and connection-URL display helpers. Connection establishment lives in the internal Connection module.
module Logging : sig ... endLogging configuration for Migra.
The public migration API: run, roll back, redo, inspect, and generate migrations. This is the high-level entry point; database lifecycle helpers live in Migra.Database. The engine that implements these is internal to the migra library.
module Types : sig ... end