Cook.mli

(* This module translates [RawLambda] into [Lambda]. *)

(* This involves ensuring that every name is properly bound (otherwise, an
   error is reported) and switching from a representation of names as strings
   to a representation of names as atoms. *)

(* This also involves checking that the right-hand side of every [let]
   construct is a function (otherwise, an error is reported) and switching
   from a representation where [let] constructs can carry a [rec] annotation
   to a representation where functions can carry such an annotation. *)

(* This also involves dropping places (that is, source code locations), since
   they are no longer used after this phase. *)

(* Moreover, this modules typechecks definitions as well, and will only
   accept well-typed programs, if disable_type_checking is not set to true. *)

val cook_program: RawLambda.program -> Lambda.term
val disable_type_checking : bool ref