package elpi

  1. Overview
  2. Docs
module StrMap : sig ... end
type term
type constraints
type custom_state
type solution = {
  1. assignments : term StrMap.t;
  2. constraints : constraints;
  3. state : custom_state;
}
OCaml

Innovation. Community. Security.