Open uselessgoddess opened 2 years ago
https://github.com/linksplatform/Data.Doublets/blob/9b5fa41467808a2d570e6e65bc4df983dfe5f24e/rust/src/doublets/mem/united/store.rs#L285
Or even better for all possible cases:
(x: y z) (x: y *) (x: * z) (x: * *) (*: y z) (*: y *) (*: * z) (*: * *)
https://github.com/linksplatform/Data.Doublets/blob/9b5fa41467808a2d570e6e65bc4df983dfe5f24e/rust/src/doublets/mem/united/store.rs#L285