Cvc5_mappings.Fresh
Fresh.Make () creates a new instance of the S module type.
Fresh.Make ()
S
module Make () : Mappings_intf.S