package elpi

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

Module API.DataSource

Sourcemodule StrMap : sig ... end
Sourcetype term
Sourcetype constraints
Sourcetype state
Sourcetype pretty_printer_context
Sourcetype 'a solution = {
  1. assignments : term StrMap.t;
  2. constraints : constraints;
  3. state : state;
  4. output : 'a;
  5. pp_ctx : pretty_printer_context;
}
Sourcetype hyp
Sourcetype hyps = hyp list