concepts.dm.crow.parsers.cdl_literal_parser.InTypedArgument

class InTypedArgument

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