Packages

tlx

0.4.2
0.5.3 0.5.2 0.5.0 0.4.6 0.4.5 0.4.4 0.4.2 0.4.0 0.3.3 0.3.2 0.3.1

A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow

HexDocs Report package

Current section

Files

Jump to
Readme
11 Versions
2 Dependencies
Dependants
Files
Activity
tlx .formatter.exs
Raw

.formatter.exs 

# SPDX-FileCopyrightText: 2026 Georges Martin

# SPDX-License-Identifier: MIT



# Used by "mix format"

spark_locals_without_parens = [

  action: 1,

  action: 2,

  branch: 1,

  branch: 2,

  constant: 1,

  constant: 2,

  default: 1,

  expr: 1,

  fairness: 1,

  guard: 1,

  invariant: 1,

  invariant: 2,

  next: 2,

  next: 3,

  process: 1,

  process: 2,

  property: 1,

  property: 2,

  set: 1,

  type: 1,

  variable: 1,

  variable: 2

]



[

  inputs: ["{mix,.formatter}.exs", "{config,lib,test}/**/*.{ex,exs}", "examples/**/*.{ex,exs}"],

  locals_without_parens: spark_locals_without_parens

]