Data (elpi.Elpi.API.Data)

module StrMap : sig ... end

type term

type constraints

type state

type pretty_printer_context

type 'a solution = {

assignments : term StrMap.t;

constraints : constraints;

state : state;

output : 'a;

pp_ctx : pretty_printer_context;

relocate_assignment_to_runtime : target:state ->
  depth:int ->
  string ->
  ( term, string ) Stdlib.Result.t;

}

type hyp

type hyps = hyp list