Function TLVOf 

pub open spec fn TLVOf<Tag, Len, Body>(body: Body) -> TLVal<Tag, Len, Body>

{ TLVal(body, core::marker::PhantomData) }

Convenience constructor for TLVal.