Curve25519 = object

Curve25519Error = enum
  Curver25519GenError

Curve25519Key = array[Curve25519KeySize, byte]

Curve25519KeySize = 32

proc getBytes(key: Curve25519Key): seq[byte] {....raises: [], tags: [].}

proc intoCurve25519Key(s: openArray[byte]): Curve25519Key {....raises: [], tags: [].}

proc mul(_: type[Curve25519]; point: var Curve25519Key;
         multiplier: Curve25519Key) {....raises: [].}

proc public(private: Curve25519Key): Curve25519Key {....raises: [],
    tags: [RootEffect].}

proc random(_: type[Curve25519Key]; rng: var HmacDrbgContext): Curve25519Key {.
    ...raises: [].}