path: root/tuto3/src/construction_game.mli

val example_sort_app_lambda : unit -> unit
val example_classes : int -> unit
val example_canonical : int -> unit