Top

Abstract-syntax

String-element-result

Fixtype of errors and string elements.

This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.

Members

:ok → string-element-result-ok
:err → string-element-result-err

Subtopics

String-element-result-fix: Fixing function for string-element-result structures.
String-element-result-equiv: Basic equivalence relation for string-element-result structures.
String-element-resultp: Recognizer for string-element-result structures.
String-element-result-ok
String-element-result-err
String-element-result-kind: Get the kind (tag) of a string-element-result structure.