builtin: add BoxMap.Bytes

Author: Defelo

src/par/builtin/Builtin.par

@@ -384,6 +384,7 @@ type BoxMap<k, v> = iterative box choice {
 }
 
 dec BoxMap.String : [type v] [List<(String) box v>] BoxMap<String, v>
+dec BoxMap.Bytes  : [type v] [List<(Bytes) box v>]  BoxMap<Bytes, v>
 dec BoxMap.Int    : [type v] [List<(Int) box v>]    BoxMap<Int, v>
 dec BoxMap.Nat    : [type v] [List<(Nat) box v>]    BoxMap<Nat, v>
 

src/par/builtin/boxmap.rs

@@ -37,6 +37,22 @@ pub fn external_module() -> Module<Arc<process::Expression<()>>> {
                 ),
                 |handle| Box::pin(boxmap_new(handle, Handle::string, Handle::provide_string)),
             ),
+            // BoxMap.Bytes : [type v] [List<(Bytes) box v>] BoxMap<Bytes, v>
+            Definition::external(
+                "Bytes",
+                Type::forall(
+                    "v",
+                    Type::function(
+                        Type::name(
+                            Some("List"),
+                            "List",
+                            vec![Type::pair(Type::bytes(), Type::box_(Type::var("v")))],
+                        ),
+                        Type::name(None, "BoxMap", vec![Type::bytes(), Type::var("v")]),
+                    ),
+                ),
+                |handle| Box::pin(boxmap_new(handle, Handle::bytes, Handle::provide_bytes)),
+            ),
             // BoxMap.Int : [type v] [List<(Int) box v>] BoxMap<Int, v>
             Definition::external(
                 "Int",