Top

Abstract-syntax

Unary-op

Fixtype of unary operators.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:abs → unary-op-abs
:abs.w → unary-op-abs.w
:double → unary-op-double
:inv → unary-op-inv
:neg → unary-op-neg
:not → unary-op-not
:square → unary-op-square
:sqrt → unary-op-sqrt

Subtopics

Unary-op-case: Case macro for the different kinds of unary-op structures.
Unary-op-fix: Fixing function for unary-op structures.
Unary-op-equiv: Basic equivalence relation for unary-op structures.
Unary-opp: Recognizer for unary-op structures.
Unary-op-kind: Get the kind (tag) of a unary-op structure.
Unary-op-square
Unary-op-sqrt
Unary-op-not
Unary-op-neg
Unary-op-inv
Unary-op-double
Unary-op-abs.w
Unary-op-abs