Module `Desugared.From_surface`

Translation from Surface.Ast to Desugared.Ast.

Removes syntactic sugars
Separate code from legislation

val translate_program : 
  Name_resolution.context ->
  Surface.Ast.module_content Shared_ast.ModuleName.Map.t ->
  Surface.Ast.program ->
  Ast.program

Main function of this module