src/main/java/org/semgus/java/object/TypedVar.java
public static List<TypedVar> fromNamesAndTypes(List<String> names, List<Identifier> types) {
        return IntStream.range(0, names.size())
                .mapToObj(i -> new TypedVar(names.get(i), types.get(i)))
                .collect(Collectors.toList());
    }
/**
     * Zips a list of variable names and a list of type identifiers into a list of typed variables. The two lists should
     * have the same length.
     *
     * @param names A list of variable names.
     * @param types A list of type identifiers.
     * @return A new list of typed variables.
     */
Zips a list of variable names and a list of type identifiers into a list of typed variables. The two lists should
have the same length.

@param names A list of variable names.
@param types A list of type identifiers.
@return A new list of typed variables.
Zips a list of variable names and a list of type identifiers into a list of typed variables . The two lists should have the same length . @param names A list of variable names . @param types A list of type identifiers . @return A new list of typed variables .
public static List<TypedVar> fromNamesAndTypes(List<String> names, List<Identifier> types) {
        return IntStream.range(0, names.size())
                .mapToObj(i -> new TypedVar(names.get(i), types.get(i)))
                .collect(Collectors.toList());
    }
public static List < TypedVar > fromNamesAndTypes ( List < String > names , List < Identifier > types ) { return IntStream . range ( 0 , names . size ( ) ) . mapToObj ( i -> new TypedVar ( names . get ( i ) , types . get ( i ) ) ) . collect ( Collectors . toList ( ) ) ; }
Zips a list of variable names and a list of type identifiers into a list of typed variables.
Zips a list of variable names and a list of type identifiers into a list of typed variables .