FASILL documentation Source fasill_directives


This library provides predicates for running FASILL directives.

FASILL directives are annotations inserted in FASILL source files for the compiler.


is_directive( ?Indicator )

This predicate succeeds when Indicator is the indicator of a directive of FASILL. An indicator is a term of the form Name/Arity, where Name is an atom and Arity is a non-negative integer.


eval_directive( +Directive )

This predicate succeeds when Directive is a valid FASILL directive and it can be executed.