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