Module Cduce_lib.Builtin

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