anchor.diff:              lists:nth(4, Defun) =:=  Doc
             end).
   
  +prop_defun_match() ->
  +  ?FORALL(Defun, defun_match(),
  +          begin
  +            {ok, #{doc := Doc}} = 'lodox-parse':'form-doc'(Defun),
  +            "" =:= Doc
  +          end).
  +
  +prop_defun_match_doc() ->
  +  ?FORALL(Defun, defun_match_doc(),
  +          begin
  +            {ok, #{doc := Doc}} = 'lodox-parse':'form-doc'(Defun),
  +            lists:nth(3, Defun) =:=  Doc
  +          end).
  +
   
   %%%===================================================================
   %%% defun shapes
  
positive.code:        prop_defun_simple(), 100}
      , {"A simple function with a docstring is correctly parsed.",
         prop_defun_simple_doc(), 100}
      ],
    [{timeout, ?TIMEOUT,
      {Title, ?_assert(proper:quickcheck(Property, ?OPTIONS(NumTests)))}}
  
negative.code: printable_char() -> union([integer(32, 126), integer(160, 255)]).
  
  printable_string() -> list(printable_char()).
  
  
  %%%===================================================================
  %%% Internal functions
  