Opam Package bap-relation.2.2.0

Package info

opam-namebap-relation
opam-version2.2.0
synopsisA set of relations (bimap)
description A relation between two sets is a set of pairs made from the elements of these sets. This library implements a bidirectional mapping between two sets and computes their matching that defines bijections between the sets.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (3)
revdeps (6)
metas (1)
libraries (1)

Package modules

Package sources

bap-relation

Package files

man/man1/bapbundle.1
lib/bap-relation/bap_relation.mli
lib/bap-relation/bap_relation.cmxs
lib/bap-relation/bap_relation.cmxa
lib/bap-relation/bap_relation.cmx
lib/bap-relation/bap_relation.cmti
lib/bap-relation/bap_relation.cmt
lib/bap-relation/bap_relation.cmi
lib/bap-relation/bap_relation.cma
lib/bap-relation/bap_relation.annot
lib/bap-relation/bap_relation.a
lib/bap-relation/META
lib/bap-relation