Module `Translate.Make`

Translate is a functor taking a settings module as a parameter. When producing the Main executable, it will be instantiated by the module Settings, which parses the command line. This lets the interpreter use Translate without triggering the side effects in Settings.

Parameters

module _ : sig ... end

Signature

val unit : Typedtree.structure -> Syntax.mexpr

unit u translates the OCaml typed AST u, which represents a compilation unit, to an Osiris AST.