(* $Id: options.ml 1699 2012-02-12 00:05:25Z gerd $ * ---------------------------------------------------------------------- * *) let default_int_variant = ref Syntax.Abstract;; (* The int variant chosen by default (i.e. int without * preceding _abstract, _int32, _int64, or _unboxed keyword) *) let default_hyper_variant = ref Syntax.Abstract;; let enable_direct = ref false ;;