Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Jun 25 2015 18:46:22
Authors: Manolis Papadakis.
PROPER_NO_TRANS is defined.
Applying this transform has the following effects:
prop_ are automatically
exported.?FORALLs that correspond to native types are
properly substituted (with some limitations, see the
proper_typeserver module for details).Generated by EDoc, Jun 25 2015, 18:46:22.