Paul Cadman 7cfddcf915 Make Maybe a builtin inductive type (#2860) ... This is required as the return type of the builtin `anomaVerifyWithMessage` axiom. Part of: * https://github.com/anoma/juvix/issues/2850		2024-06-26 17:12:29 +01:00
..
package	Bugfix: modules associated with inductive types should be declared after their inductive types (#2768)	2024-05-14 19:32:22 +02:00
package-base/Juvix/Builtin	Make Maybe a builtin inductive type (#2860)	2024-06-26 17:12:29 +01:00