protocol

ksuid_protocol

KSUID generator protocol.

Availability:

logtalk_load(ksuid(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-02-26

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates

generate/1

Returns a KSUID.

Compilation flags:

static

Template:

generate(KSUID)

Mode and number of proofs:

generate(--ground) - one

---

Protected predicates

(none)

Private predicates

(none)

Operators

(none)