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