Losen the Constraints on the Partial Trait#145

mariari wants to merge 2 commits intomainanoma/juvix-stdlib:mainfrom

mariari/loosen-constraint-on-partialanoma/juvix-stdlib:mariari/loosen-constraint-on-partialCopy head branch name to clipboard