pub type ReadConstructorRef = Value;
Runtime value carrying a read-constructor object.
pub struct ReadConstructorRef(/* private fields */);