ulid_types — Logtalk 3.100.1

category

# `ulid_types`

ULID type definition.

Availability:
`logtalk_load(ulid(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2023-05-19
Compilation flags:
`static`
Provides:
type::type/1
type::check/2
Uses:
list
type
Remarks:

> - Provided types: This category adds a `ulid(Representation)` type for type-checking when using the `ulid` library object. Valid representation values are `atom`, `chars`, and `codes`.

Inherited public predicates:
(none)

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)

See also

ulid(Representation), ulid