A constant (implementing org.valross.constantine.Constant) is a type, instances of which are completely unmodifiable and constructed only from other constants. For simplicity, primitives, strings, ...
Representation of quoted constants in the shallow embedding. In the shallow embedding approach, each quoted constant in the ACL2 code is translated to a Java static final field that is calculated once ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback