Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Nov 2 2016 02:37:01
Authors: Manolis Papadakis.
PROPER_NO_TRANS
is defined.
Applying this transform has the following effects:
prop_
are automatically
exported.?FORALL
s that correspond to native types are
properly substituted (with some limitations, see the
proper_typeserver
module for details).Generated by EDoc, Nov 2 2016, 02:37:01.