temporarily add fields gcd_strict_arguments to record GenericConsDescriptor...
temporarily add fields gcd_strict_arguments to record GenericConsDescriptor and grd_strict_fields to record GenericRecordDescriptor of module StdGeneric
Showing
temporarily add fields gcd_strict_arguments to record GenericConsDescriptor and grd_strict_fields to record GenericRecordDescriptor of module StdGeneric
mentioned in commit 2564ad1b
·mentioned in commit 2564ad1b