tezos-shell
The entry point of this library is the module: Tezos_shell.
Tezos_shell
You can find the implementation overview of the prevalidator here.