G'Camlでコンパイル時数値計算

• 型レベルで行った演算結果を実行時の値として取り出したい

• • ord型(cell型)の実際の値はunit(や関数etc)のためそのまま使えない
  • 実行時に型のネスト階層分だけ再帰して+1