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)