Harpoon.Suffices_branch
type t = {
location : Syncom.Location.t;
goal : Synext__.Synext_definition.Comp.Typ.t;
proof : Proof.t;
}