flx_decl1

declarations and defintions

struct <identifier> { <identifier>: <type> ... };
Define a struct.

union <identifier> = | <identifier> of <type> ...;
Define a union. The of <type> part is optional.

module <identifier> { <statements> }
Define a module.

fun <identifier> (<arglist>):<type>= { <statements> };
Define a function. The return type is optional.

proc <identifier> (<arglist>) { <statements> };
Define a procedure.

inherit <identifier> = <qualified_name>;
inherit fun <identifier> = <qualified_name>;
Inject the name of an entity or function set into the public interface of a module.

<identifier> :>
Specify a label.

Version

1.1.1_rc1

Web site

See http://felix.sourceforge.net