Module Fn

GENERATED CODE. DO NOT MODIFY.

Import path

import qtil.fn.generated.Fn

Imports

A module that defines the the same predicate signature types of SignaturePredicates.qll, but under the following definitions: - TpX<A, B, C> - a “Tuple predicate” with three bound arguments. - FnX<R, A, B, C> - a “Function predicate” with three unbound arguments and a result. - RelX<R, A, B, C> - a “Relation predicate” with three bound arguments and a finite result. - PropX<A, B, C> - a “Property predicate” with three unbound arguments and no result.

SignatureTypes

Modules

Fn0	A module to represent a “Function” with 0 arguments, and a result.
Fn1	A module to represent a “Function” with 1 arguments, and a result.
Fn2	A module to represent a “Function” with 2 arguments, and a result.
Fn3	A module to represent a “Function” with 3 arguments, and a result.
Fn4	A module to represent a “Function” with 4 arguments, and a result.
Fn5	A module to represent a “Function” with 5 arguments, and a result.
Fn6	A module to represent a “Function” with 6 arguments, and a result.