Up
–
elpi
»
Elpi
» Builtin_checker
Module
Elpi.Builtin_checker
val
code : string