package ppx_distr_guards

  1. Overview
  2. Docs
Extension to distribute guards over or-patterns

Install

Authors

Maintainers

Sources

ppx_distr_guards-0.3.tbz
sha256=a05dc97065a18ef83eb5b8fcfeea9dfa07dcefbf7daf2e41f7fc09cfddea7f55
sha512=f4aba0549c93a67d935a3b1554c189db20efcf26c0d8474c9f015a252e17d7b641996e3d72ef466f537b83ef0ea6c35baa7d1d67788b51686d9c77da387973e8

Description

function%distr A x, _ | _, A x when p x -> e will result in function A x, _ when p x -> e | _, A x when p x -> e

Published: 30 Jun 2021

Dependencies (2)

  1. ppxlib >= "0.15.0"
  2. dune >= "2.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. goblint < "2.0.0"

Conflicts

None