See the documentation:

The form Definition ident binders : type := term is equivalent to Definition ident : forall binders, type := fun binders => term.