Module Elpi.Builtin_map

val code : string