Module Cduce_core.Builtin

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