PyBuiltin.Set
This module keeps track of the builtins used by a code unit. Only the necessary Textual declarations are generated. Note that primitive wrappers are always generated (python_int
, ...)
val empty : t
val to_textual : t -> Textuallib.Textual.Module.decl list
Encode a set of builtin declarations into Textual declarations
val get_type : builtin -> Textuallib.Textual.Typ.t