module Rewrite_tds: sig .. end
val sig_ : Camlp4.PreCast.Ast.Loc.t ->
bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.sig_item
sig_ loc rec_ typedefs rewrites the given type definition to make it either
recursive or non recursive.
For instance, the parser calls sig_ loc false (TyDcl (_, t, [], t, [])) when it
encouters type t = t and calls sig_ loc true (TyDcl (_, t, [], t, [])) when it
encouters type nonrec t = t in signatures.
val str_ : Camlp4.PreCast.Ast.Loc.t ->
bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.str_item
str_ loc rec_ typedefs does the same thing as sig_ loc rec_ typedefs, except
that it returns a structure item instead of a signature item.