Module module

Directives and predicates for module control

module/1: Declare module name.This is used at the top of module.
module_interface/0: Declare the begining of the module interface part. See how to make module.
module_implementation/0: Declare the begining of the module interface part. See how to make module.
module_extendable/0: Declare that this module can be defined as a type of a subtype.

Predicate

Format module(+NAME)

Arguments

+NAME std :string : Module name

Declare module name.This is used at the top of module.

:- module("list:reverse").

Format	`module_interface`
Declare the begining of the module interface part. See how to make module.
:- module_interface.

Format	`module_implementation`
Declare the begining of the module interface part. See how to make module.
:- module_interface.

Format	`module_extendable`
Declare that this module can be defined as a type of a subtype.
> :- module_extendable.

This document is automatically created by lildoc on Fri Sep 24 14:13:58 2004