You're seeing just the function apply_constraints, go back to Ash.Type module for more information.

apply_constraints(t(), term(), constraints()) ::
  {:ok, term()} | {:error, String.t()}