parameters: (p)
docstring: schdecl : TYPE SYMBOL
docstring_summary: schdecl : TYPE SYMBOL
docstring_tokens: schdecl : TYPE SYMBOL
function: def p_schdecl_typedecl(p):
      'schdecl : TYPE SYMBOL'
      scnst = Atom(p[2])
      scnst.lineno = get_lineno(p,2)
      tdfn = TypeDef(scnst,UninterpretedSort())
      tdfn.lineno = get_lineno(p,1)
      p[0] = [tdfn]
function_tokens: def p_schdecl_typedecl ( p ) : scnst = Atom ( p [ 2 ] ) scnst . lineno = get_lineno ( p , 2 ) tdfn = TypeDef ( scnst , UninterpretedSort ( ) ) tdfn . lineno = get_lineno ( p , 1 ) p [ 0 ] = [ tdfn ]