Module Harpoon.Hypothetical

type t = {
  1. location : Beluga_syntax.Syncom.Location.t;
  2. meta_context : Synprs__.Synprs_definition.Meta.Context_object.t;
  3. comp_context : Synprs__.Synprs_definition.Comp.Context_object.t;
  4. proof : Proof.t;
}