sig
  val 'I : any -> any
  val 'K : any -> funct
  val 'B : funct -> funct -> funct
  val 'C : funct -> any -> funct
  val 'S : funct -> funct -> funct
  val 'S4 : funct -> funct -> funct -> funct
  val 'IF : funct -> funct -> funct -> funct
  val 'S4_S : funct -> funct -> funct
  val 'B_K : funct -> funct
  val 'fixpoint : any
  val 'strategy : symbol
  val 'iter : int
  val 'prelude : funct
  val 'interlude : funct
  val 'postlude : funct
  val 'fixrule : any
end