Defines a struct and a TypeCheck type at the same time.

Example:

defmodule User do
  use TypeCheck
  use TypeCheck.Defstruct

  defstruct!(
    name: "Guest" :: String.t(),
    age: _ :: non_neg_integer()
  )
end

This is syntactic sugar for:

defmodule User do
  use TypeCheck
  use TypeCheck.Defstruct

  @type! t() :: %User{
    name: String.t(),
    age: non_neg_integer()
  }
  @enforce_keys [:age]
  defstruct [:age, name: "Guest"]
end

optional-and-required-keys

Optional and required keys

A key is considered optional if it uses the syntax

name: default_value :: type

A key is considered required if it uses one of the following syntaxes:

:name :: type

name: _ :: type

In this case, it will be added to the @enforce_keys list. (c.f. Kernel.defstruct).