Import.Convert_as_string
M : Base.Stringable.S
val python_of_t : M.t -> Pytypes.pyobject
val t_of_python : Pytypes.pyobject -> M.t