cvc5__.ml1 2 3 4 5 6 7 8 9 10(* generated by dune *) (** @canonical Cvc5.Cvc5_enums *) module Cvc5_enums = Cvc5__Cvc5_enums (** @canonical Cvc5.Cvc5_external *) module Cvc5_external = Cvc5__Cvc5_external module Cvc5__ = struct end [@@deprecated "this module is shadowed"]