Module `Elpi`

module API : sig ... end

This module is the API for clients of the Elpi library.

module Builtin : sig ... end

module Builtin_map : sig ... end

module Builtin_set : sig ... end

module Builtin_stdlib : sig ... end