Elpi
module API : sig ... end
This module is the API for clients of the Elpi library.
module Builtin : sig ... end
module Builtin_checker : sig ... end