API for abstract domains.
API for abstract domains.

Reviewed By: dariorussi

Differential Revision: D4813821

fbshipit-source-id: 34ea26a959b6244e2949112f3b7a9db743a5d4ae

facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex