This file is indexed.

/usr/share/axiom-20170501/src/algebra/ANON.spad is in axiom-source 20170501-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
)abbrev domain ANON AnonymousFunction
++ Author: Mark Botch
++ Description:
++ This domain implements anonymous functions

AnonymousFunction() : SIG == CODE where

  SIG ==> SetCategory 

  CODE ==> add

    coerce(x:%):OutputForm == 
      x pretend OutputForm