strict_types 1.6.3

Strict types: confined generalized algebraic data types (GADT)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Workflows

```mermaid
flowchart RL
    Source -- Compile --> SymbolicLib
    Rust -- Transpile --> SymbolicLib
    SymbolicLib -- Compile --> TypeLib
    SymbolicLib -- Disasm --> Source
    TypeLib -- Translate --> SymbolicLib
    TypeLib -- Link --> TypeSys
    TypeLib -- Encode --> Base64
    TypeSys -- Encode --> Base64
    TypeSys -- Disasm --> Source
    TypeLib --> SymbolicSys
    SymbolicSys --> TypeSys
    SymbolicSys -- encode --> Base64
```