Legend:
Library
Module
Module type
Parameter
Class
Class type
module State : sig ... end

States and types

module Engine : sig ... end

Message processing

module Utils : sig ... end

Utilities