Subject4 < A , B , C , T > function ( Function3 < A , B , C , T > arg0 ) { return this . asWithPrecursor ( arg0 , t -> t . toString ( ) ) ; }
converts theory to one about a different type using the given function retaining all precursor values concode_field_sep Source<C> cs concode_elem_sep Source<B> bs concode_elem_sep Source<A> as concode_elem_sep Supplier<Strategy> state concode_elem_sep Predicate3<A,B,C> assumptions concode_field_sep Subject1<T> as concode_elem_sep Generator<Tuple4<A,B,C,T>> generatePrecursorValueTuple concode_elem_sep void checkAssert concode_elem_sep TheoryBuilder3<A,B,C> assuming concode_elem_sep AsString<Tuple3<A,B,C>> joinToString concode_elem_sep void check concode_elem_sep Shrink<Tuple3<A,B,C>> combineShrinks concode_elem_sep Generator<Tuple3<A,B,C>> prgnToTuple concode_elem_sep Predicate<Tuple3<A,B,C>> convertPredicate concode_elem_sep Source<Tuple3<A,B,C>> combine