anchor.diff:    let dArgs = List.map (fun (x, _) -> evar x) f.fargs in
     let decreases0 = if isRecursive then string_of_decrease dArgs else "" in
     if isPublicDecl then
  -    if isPublic then 
  +    if isPublic then (
  +      psi.PrintLine ("")
         psi.PrintLine (sVal (sid f.fname) decreases0);
  +    )
       else
         ps.PrintLine (sVal (sid f.fname) decreases0);
       ( match f.fbody with
  
positive.code:   let isQAttr = attrs_get_bool (Id "qattr") false f.fattrs in
    let isPublicDecl = isPublicDecl || isOpaque in
    let isRecursive = attrs_get_bool (Id "recursive") false f.fattrs in
    (match ps.print_interface with None -> () | Some psi -> psi.PrintLine (""));
    // write everything to *.fsti if it is public and not opaque or publicDecl. 
    // For opaque and publicDecl, only "val" is written into *.fsti if it is public, 
    // everything else goes into *.fst regardless if it is public or not.
  
negative.code:     | (Some _, None) -> ()
      | (_, _) ->
          let psi = if isPublic then psi else ps
          psi.PrintLine ("");
          psi.PrintLine ("val " + (sid p.pname) + " : " + (val_string_of_formals args));
          printPType psi "-> " decreases0
    );
  