sig
  type t
  val here : Source_code_position.t
  val validate : Validated_intf.Raw.t Validate.check
  val t_of_sexp : Sexplib.Sexp.t -> Validated_intf.Raw.t
  val sexp_of_t : Validated_intf.Raw.t -> Sexplib.Sexp.t
end