1
2
3
4
5
6
7
8
9
10
11
12
13
(** @canonical Whilelib.Analysis_sva *)
module Analysis_sva = Whilelib__Analysis_sva
(** @canonical Whilelib.Cinterpreter *)
module Cinterpreter = Whilelib__Cinterpreter
(** @canonical Whilelib.While_analysis *)
module While_analysis = Whilelib__While_analysis
(** @canonical Whilelib.While_examples *)
module While_examples = Whilelib__While_examples