input-source

(bind meow "kitty")

(ƒ show (s string) ()
  (print s))

output-ast

(function-body
 (return-type
  (type-reference
   (definition
    (type-definition
     (name null)
     (members)
     (generics)))))
 (cells
  (binding-definition
   (name meow)
   (type
    (type-reference
     (definition
      (type-definition
       (name string)
       (members)
       (generics)))))
   (cell
    (literal-value
     (type string)
     (value
      kitty))))
  (function-definition
   (name show)
   (arguments
    (argument
     (name s)
     (type
      (type-reference
       (definition
        (type-definition
         (name
          string)
         (members)
         (generics)))))))
   (return-type
    (type-reference
     (definition
      (type-definition
       (name null)
       (members)
       (generics)))))
   (body
    (function-body
     (return-type
      (type-reference
       (definition
        (type-definition
         (name null)
         (members)
         (generics)))))
     (cells
      (native-function-call
       (name print)
       (arguments
        (argument
         (name s)
         (cell
          (binding-reference
           (definition
            (binding-definition
             (name
              s)
             (type
              (type-reference
               (definition
                (type-definition
                 (name
                  string)
                 (members)
                 (generics)))))
             (cell
              (function-body
               (return-type
                (type-reference
                 (definition
                  (type-definition
                   (name)
                   (members)
                   (generics)))))
               (cells))))))))))
      (return-statement
       (cell
        (literal-value
         (type null)
         (value
          null)))
       (expected-type
        (type-reference
         (definition
          (type-definition
           (name
            null)
           (members)
           (generics))))))))))))