Did you know ... | Search Documentation: |
Pack typedef -- README |
This package provides library(typedef)
, a small library for
processing type declarations.
See library(typedef)
module header for more information.
This is a small test file that you can use to check if it works.
:- use_module(library(typedef)). :- type maybe(A) ---> nothing; just(A). :- type natural == nonneg. %% test(+A:natural, +B:maybe(natural)) is det. test(A,B) :- must_be(natural,A), must_be(maybe(natural),B).