perv.n

This file includes information for pervasive functions and library functions.

• isPervasives: Absyn.exp -> bool
  Whether a given expression is a pervasive function or a library function.
• getPrimitives: string -> fid option
  Find the fid for a given primitive functions.
• getPervasives: string -> fid option
  Find the fid for a given pervasive function or a library function.
• getAri: fid -> fid
  Find the arity of a given function fid.