refinery v0.2.0 API Reference

Modules

Refinery is an Elixir DSL for defining refinement types

Bootstrapped Refinement Types