Harpoon.Suffices_branch
type t = {
location : Beluga_syntax.Syncom.Location.t;
goal : Synprs__.Synprs_definition.Comp.Sort_object.t;
proof : Proof.t;
}