Devices.Argv
val default_argv : Functoria.argv Functoria.impl
val no_argv : Functoria.argv Functoria.impl