args property

Map<Sym, Sort> args
final

Implementation

final Map<Sym, Sort> args;