sig
  val loop :
    (Pervasives.out_channel -> 'a -> unit) ->
    ('a I.Ast.env -> I.Ast.t -> 'a) -> unit
end