[sledge] Document sequence and record term constructors
[sledge] Document sequence and record term constructors

Reviewed By: jvillard

Differential Revision: D24549074

fbshipit-source-id: 6d1baafe1

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