YAP 7.1.0
current_op/3

current_op( P, T, F) More...

Detailed Description

current_op( P, T, F)

defined in the ISO standard

Defines the relation: P is a currently defined operator of type T and precedence P


The documentation for this class was generated from the following file: