Parameter typedef

Parameter = Object

Implementation

typedef Parameter
    = /* int | double | Rat | Z3Symbol | Sort | AST | FuncDecl | ExternalParameter */ Object;