Low-level functionality for encoding and decoding strings as specified in
the STEP standard. In most case you will want to use Step.Decode.string
and Step.Encode.string
instead of using this module
directly.
encode : String -> String
Encode a string using the (weird, custom) method specified in the STEP standard:
Step.String.encode "see ยง 4.1"
--> "see \X\A7 4.1"
Note that the leading and trailing single quotation marks (used when writing strings to a STEP file) are not included in the result.
decode : String -> String
Decode a STEP-encoded string.