pub const SEMANTIC_ENCODING: &str = "portable-core translation; the encodings it chose are listed in semantics.encodings";
The contract encoding of a semantic translation.