Open aaguinal opened 5 months ago
migrate(T, Data, F) only works when Data is a non-dynamic ACSet
migrate(T, Data, F)
Data
migrate(T, Data, F)
only works whenData
is a non-dynamic ACSet