Fix public visibility naming

crates/prettysimf/src/simplicity_fmt/doc.rs

@@ -288,7 +288,7 @@ fn gap_before_closing_delimiter<'src>(context: &mut Context<'_>, start: usize, c
 impl Doc for Visibility {
     fn to_doc<'src>(&self, _context: &mut Context<'_>) -> Option<RcDoc<'src>> {
         match self {
-            Visibility::Public => Some(RcDoc::text("pub(super) ")),
+            Visibility::Public => Some(RcDoc::text("pub ")),
             Visibility::Private => Some(RcDoc::nil()),
         }
     }

crates/prettysimf/src/simplicity_fmt/fmt.rs

@@ -196,6 +196,22 @@ mod tests {
         utils::assert_comments_preserved(source, ["// leading", "/* inside */", "// between", "// trailing"]);
     }
 
+    #[test]
+    fn preserves_public_function_visibility() {
+        let source = "pub fn safe_add_64(a:u64,b:u64)->u64{unwrap(checked_add_64(a,b))}";
+        let expected = "pub fn safe_add_64(a: u64, b: u64) -> u64 {\n    unwrap(checked_add_64(a, b))\n}";
+
+        utils::assert_formatting_in_all_modes(source, expected);
+    }
+
+    #[test]
+    fn preserves_omitted_function_visibility() {
+        let source = "fn safe_add_64(a:u64,b:u64)->u64{unwrap(checked_add_64(a,b))}";
+        let expected = "fn safe_add_64(a: u64, b: u64) -> u64 {\n    unwrap(checked_add_64(a, b))\n}";
+
+        utils::assert_formatting_in_all_modes(source, expected);
+    }
+
     #[test]
     fn preserves_comments_in_match() {
         let source = "fn main() {