viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
CharVector
/
CharVector
Char
Vector
open
fun
CharVector
(
initialElements
:
Array
<
Char
>
)
open
fun
CharVector
(
initialElements
:
Iterable
<
Character
>
)
open
fun
CharVector
(
)
open
fun
CharVector
(
other
:
CharVector
)
open
fun
CharVector
(
count
:
Int
,
value
:
Char
)