Source
Contents
Index

improve-0.1.5: An imperative, verifiable programming language for high assurance applications.

Language.ImProve.Narrow

Documentation

narrow :: Statement -> Statement Source

Produced by Haddock version 2.8.0