amaranth-stubs
amaranth_types
