Mavryk_validationmodule Block_validation : sig ... endThis module is a proxy for the shell of the protocol (for the application part). The main function of this module is apply whichs calls the one of the protocol.
module Command_line : sig ... endmodule External_validation : sig ... endmodule External_validator : sig ... endmodule Patch_context : sig ... endmodule Protocol_plugin : sig ... end