package elpi

  1. Overview
  2. Docs
module StrMap : sig ... end
type term
type constraints
type state
type pretty_printer_context
type 'a solution = {
  1. assignments : term StrMap.t;
  2. constraints : constraints;
  3. state : state;
  4. output : 'a;
  5. pp_ctx : pretty_printer_context;
  6. relocate_assignment_to_runtime : target:state -> depth:int -> string -> (term, string) Stdlib.Result.t;
}
type hyp
type hyps = hyp list
OCaml

Innovation. Community. Security.