Skip to content

Continuing `radium::coq` subcrate

Vincent Lafeychinerequested to merge
lafeychine/radium/refactor into main

AbstractVariant::generate_coq_type_def_core has been transformed into coq::Document, new constructs have been added.

Merge request reports