Add transitive closure for bi
This PR adds bi_tc
to get the transitive closure of a bi.
I changed the structure of relations.v
a bit such that it's structured in a similar way to the one in stdpp
.
This PR adds bi_tc
to get the transitive closure of a bi.
I changed the structure of relations.v
a bit such that it's structured in a similar way to the one in stdpp
.