Module G_prim
val prim_kw : string listval local_make_qualid : Loc.t -> Names.module_ident list -> Names.Id.t -> Libnames.qualidval check_int : Loc.t -> NumTok.t -> stringval my_int_of_string : Loc.t -> string -> int
G_primval prim_kw : string listval local_make_qualid : Loc.t -> Names.module_ident list -> Names.Id.t -> Libnames.qualidval check_int : Loc.t -> NumTok.t -> stringval my_int_of_string : Loc.t -> string -> int