Harpoon.Split_branch
type t = {
location : Syncom.Location.t;
label : Split_branch.Label.t;
body : Hypothetical.t;
}
module Label : sig ... end