package coq-switch
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A plugin to implement functionality similar to `switch` statement in C
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0.tar.gz
md5=304f2910d30ec4a03124a8ba35b3187a
Description
language.
It allows easier dispatch on several constant values of a type with decidable equality. Given a type, boolean equality predicate, and list of choices, it will generate (using TemplateCoq) an inductive type with constructors, one for each of the choices, and a function mapping values to this type.
Dependencies (3)
-
coq-template-coq
>= "2.1~beta3" -
coq
>= "8.8" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page