_TG_MonotonicityParams : STRUCT InOut: Name Type fV LREAL fA

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a

Singularity : BOOL InOut: Scope [...] Singularity BOOL Inout Const a