open StateCPSMonad
open TestBubbleSortCommon

module InstantiateDirect = struct
  module Lang = Direct

  let instantiate gen =
      fun a -> (runM (gen (fun () -> a)) []) () ;;

  (*let printcode x = Print_code.print_code Format.std_formatter .<x>.*) (*always prints CSP*)
  let printcode _ = print_endline "Printing code not available for direct"
  let string_of_code _ = "No code to stringify for direct"
end

module Testing = Tests (InstantiateDirect);;