Module Mirage_impl_argv

val default_argv : Functoria_app.argv Functoria.impl
val no_argv : Functoria_app.argv Functoria.impl