Module Elpi.Builtin_checker

val code : string