Module Cduce_lib_js.Builtin

val env : Cduce_core.Typer.t
val argv : Cduce_core.Value.t Stdlib.ref