src/Tools/Code/code_ml.ML

   val target_OCaml: string
   val evaluation_code_of: theory -> string -> string
     -> Code_Thingol.naming -> Code_Thingol.program -> string list -> string * string option list
   val print_tuple: (Code_Printer.fixity -> 'a -> Pretty.T)
     -> Code_Printer.fixity -> 'a list -> Pretty.T option
-  val check_SML: theory -> Path.T -> unit
-  val check_OCaml: theory -> Path.T -> unit
+  val check_SML: theory -> unit
+  val check_OCaml: theory -> unit
   val setup: theory -> theory
 end;
 
 structure Code_ML : CODE_ML =
 struct