Settings
Global settings.
type mode = [
| `Plain
| `Category
| `Monoidal
| `Symmetric_monoidal
| `Symmetric_monoidal_closed
| `Linear_closed
| `Cartesian
| `Cartesian_closed
| `Compact_closed
]
Mode for checking pasting schemes.
val mode : mode Stdlib.ref
val mode_callback : (mode -> unit) Stdlib.ref
Callback when the mode is changed.
val on_mode : (mode -> unit) -> unit
Whether all maps are reversible starting from dimension 1.