sig
  type error
  exception Error of Typing.error * Util.loc
  val report : Format.formatter -> Typing.error -> unit
  val system : Ast.system -> Ast.t_system
end