Module Elpi.Builtin_stdlib

val code : string