Skip to content

permissive-water-sig.stx

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module signatures/permissive-water-sig

imports

signature

  sorts
    WATER = string
    WATERTOKEN = string
    WATERTOKENSTART = string
    WATERTOKENSEPARATOR = string

  constructors

signature

  constructors