Value.t successors.
Value.t
Return the SHA of the successor value.
A path can cross different type of Git object boundaries. By convention, the empty string "" denotes a Commit.t to Tree.t transition, so that mem head ["";"a";"b"] will look into the Tree/Blob object located under a/b for the head revision.
""
Commit.t
Tree.t
mem head ["";"a";"b"]
Compute the successor values.
mem t sha1 path check wether we can go from the object named sha1 to an other object following the path labels.
mem t sha1 path
sha1
path
find t sha1 path returns (if it exists) the object named sha1 to an other object following the path labels.
find t sha1 path
find t sha1 path returns (if it exists) the object named sha1 to an other object following the path labels. Raise Not_found if no such object exist.
Not_found