Module Make.ErrorSource

type t
type semantic = Problem.t
type expect = string
val is_semantic : t -> bool
val semantic : t -> semantic
val expectations : t -> expect list
val make_semantic : semantic -> t
val make_expectations : expect list -> t