Refactoring `Adt_rel` using domains on class representatives only · OCamlPro/alt-ergo@ddd8076

Triggered via pull request April 3, 2024 10:32

Halbaroth

synchronize #1087

Status Success

Total duration 4m 21s

Artifacts 2

documentation.yml

on: pull_request

Produced during runtime

Name	Size
ocaml_doc Expired	995 KB
sphinx_doc Expired	3.21 MB