# ocaml-ppx_tydi

Let expressions, inferring pattern type from expression.