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