let create_function (name: string) (arity: int) : symbol =
  create_symbol Function name name arity