Module Ag_types

val canon : 'a list -> 'a list
module StrG : sig ... end
module StrOps : sig ... end
module StrDfs : sig ... end
val strg_of_list : (StrG.vertex * StrG.vertex) list -> StrG.t
val canon_expr : MLast.expr -> MLast.expr
val canon_ctyp : MLast.ctyp -> MLast.ctyp
val builtin_types : MLast.ctyp list
val is_builtin_ctyp : MLast.ctyp -> bool
module Pp_hum : sig ... end
type storage_mode_t =
| Hashtables
| Records
module PN : sig ... end
module ProductionName = PN
module NR : sig ... end
module NodeReference = NR
module AR : sig ... end
module TNR : sig ... end
module TypedNodeReference = TNR
module TAR : sig ... end
module TARG : sig ... end
module TAROps : sig ... end
module TARDfs : sig ... end
val of_list : (TARG.vertex * TARG.vertex) list -> TARG.t
val to_list : TARG.t -> (TARG.vertex * TARG.vertex) list
val tclos : (TARG.vertex * TARG.vertex) list -> (TARG.vertex * TARG.vertex) list
val wrap_comment : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
module AEQ : sig ... end
module ASide : sig ... end
module TAEQ : sig ... end
module TSide : sig ... end
module P : sig ... end
module Production = P
module NTG : sig ... end
module AT : sig ... end
module AttributeType = AT
module AG : sig ... end
module Demarshal : sig ... end
module AGOps : sig ... end