Skip to content

Make BI operational classes consistent: always use `PROP:Type` instead of `bi`.

Robbert Krebbers requested to merge robbert/bi_classes_Type into master

Merge request reports