Vectors
import { Vector, TString } from "@fed1/jsos";
const StringVector = Vector(TString);
const sv = StringVector.new(["foo", "bar"]);
Using vector types in structs:
import { Struct, isA, TNumber, TString, TVector, Vector } from "@fed1/jsos";
const MyConcreteType = Struct.MyConcreteType({
name: TString,
ids: TVector(TNumber)
});
const mct = MyConcreteType.new({
name: "Foo",
ids: Vector(TNumber).new([1, 5, 8])
});