Top

Abstract-syntax

Num-base

Fixtype of numeric bases.

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

Member Tags → Types

:dec → num-base-dec
:hex → num-base-hex
:bin → num-base-bin

The numeric value notations can use decimal, hexadecimal, or binary base.

Subtopics

Num-base-case: Case macro for the different kinds of num-base structures.
Num-base-fix: Fixing function for num-base structures.
Num-base-equiv: Basic equivalence relation for num-base structures.
Num-base-p: Recognizer for num-base structures.
Num-base-hex
Num-base-dec
Num-base-bin
Num-base-kind: Get the kind (tag) of a num-base structure.