let mkprivate =
              function
              | Ast.PrPrivate -> Private
              | Ast.PrNil -> Public
              | _ -> assert false