valid_type/1

Module

This predicate is provided by type.pl.

Load this module before using the predicate:

:- consult('/v1/lib/type.pl').

Description

Succeeds when Type is a valid, concrete type specification. Recursively validates parameterized types (e.g., list(integer), list(list(byte))). Fails when Type is unbound or contains unbound type parameters.

Signature

valid_type(+Type) is semidet