Module Harpoon.Hypothetical

type t = {
  1. location : Syncom.Location.t;
  2. meta_context : Synext__.Synext_definition.Meta.Context.t;
  3. comp_context : Synext__.Synext_definition.Comp.Context.t;
  4. proof : Proof.t;
}