[sledge] Refactor: Expose constructors for record Terms
[sledge] Refactor: Expose constructors for record Terms

Summary: McCarthy-style select/update terms for records.

Reviewed By: jvillard

Differential Revision: D22401038

fbshipit-source-id: 9c9b8e0a1

jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer