sig val compile : Pervasives.out_channel -> S.Ast.t -> unit end