?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 3d5ffbf) | patch
it:[rupro] Add constraints & propositions
commit50ab3236295a2611be3f07f7e684d981010ca7ca
authorMichael Thomas <mjt@fb.com>
Mon, 28 Feb 2022 17:06:07 +0000 (28 09:06 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 28 Feb 2022 17:06:07 +0000 (28 09:06 -0800)
treec69e4945286cdd6bd7ad22ac140af157ba15f913tree | snapshot (tar.gz zip)
parent3d5ffbf3d816809e13829e90b63c289b1fbf1b92commit | diff
it:[rupro] Add constraints & propositions

Summary: Adds `Constraint` and `Prop` types for use in constraint normalization

Differential Revision: D34520486

fbshipit-source-id: 3763b1a3d3dde5bce4759438a6f3492f0089597c
hphp/hack/src/rupro/lib/mod.rs diff | blob | blame | history
hphp/hack/src/rupro/lib/typing_error/error_primary.rs diff | blob | blame | history
hphp/hack/src/rupro/lib/typing_error/mod.rs diff | blob | blame | history
hphp/hack/src/rupro/lib/typing_prop/constraint.rs [new file with mode: 0644] blob
hphp/hack/src/rupro/lib/typing_prop/mod.rs [new file with mode: 0644] blob