Digital_components
module Component : sig ... end
module Data : sig ... end
module Step_monad : sig ... end