Module Advanced.Error

type t
type semantic = Semantic.t
type expect = Expect.t
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