Spec.ETyp
type ('var, 'value, 'f) t =
| T : ( 'inner, 'value, 'f ) Snarky_backendless.Typ.t * ( 'inner -> 'var ) * ( 'var -> 'inner ) -> ( 'var, 'value, 'f ) t