xref: /seL4-l4v-master/HOL4/examples/acl2/ml/poly.ml

val quietdec = ref true;
val printDepth = ref 0;
val printLength = ref 0;

fun compile_theory () = ();