TLX.Info (TLX v0.5.2)

Introspection functions for compiled TLX specs.

Summary

actions DSL entities

constants DSL entities

invariants DSL entities

variables DSL entities

@spec actions(dsl_or_extended :: module() | map()) :: [struct()]

actions DSL entities

@spec constants(dsl_or_extended :: module() | map()) :: [struct()]

constants DSL entities

@spec invariants(dsl_or_extended :: module() | map()) :: [struct()]

invariants DSL entities

@spec variables(dsl_or_extended :: module() | map()) :: [struct()]

variables DSL entities