ImplicitSearchSuccessMethods

Extension methods of ImplicitSearchSuccess

Extensions

Extensions

extension (self: ImplicitSearchSuccess)
def tree: Term