concepts.pdsketch.parsers.pdsketch_v3_parser.InTypedArgument#

class InTypedArgument[source]#

Bases: object

A typed argument defined as name in value. This is used in forall/exists statements.

Methods

Attributes

name

value

__init__(name, value)#
Parameters:

  • name (str) –

  • value (Any) –

Return type:

None

__new__(**kwargs)#
name: str#
value: Any#