<div dir="ltr">Are there any Scribble forms for documenting Redex metafunctions and judgments? I'm putting together a redex-extras package that has several generic utilities I've found useful throughout my model, but I'm not sure how to document them.<br>

</div>