Skip to content

Commit 0cd9cdb

Browse files
fahchenclaude
andcommitted
docs(dsl): fix spec arity references
Pre-existing inaccuracies surfaced by round-5 review: - `initial_marking/2` doc claimed values were exposed via `initial_markings/0`, but the actual host-module API is `__cpn__(:initial_markings)`. Update spec to match. - `function/2` and `function/3` heading misnamed the macro arities; the module exports `function/1` and `function/2`. Rename heading. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
1 parent 63a00ab commit 0cd9cdb

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

lib/coloured_flow/dsl/spec.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -227,12 +227,12 @@ declared `colset`.
227227

228228
Declare an initial marking for a place. Multiple `initial_marking/2`
229229
calls accumulate in declaration order and are exposed via
230-
`initial_markings/0` on the host module. The cpnet definition itself is
231-
not affected.
230+
`__cpn__(:initial_markings)` on the host module. The cpnet definition
231+
itself is not affected.
232232

233233
initial_marking :input, ~MS[1 2 3]
234234

235-
### `function/2` and `function/3`
235+
### `function/1` and `function/2`
236236

237237
Declare a user-defined function (CPN procedure) usable in arc, guard,
238238
action, and termination expressions. Arguments listed in the head must

0 commit comments

Comments
 (0)