package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file elpi.ml

1
2
3
4
5
module API = API
module Builtin = Builtin
module Builtin_checker = Builtin_checker
module Internal = struct
  module Discrimination_tree = Discrimination_tree
end