of
fun of(typeFactory: TypeFactory = TypeFactory.default, dealiaser: (Struct) -> Ref? = { null }): TermToObjectConverter
Builds a TermToObjectConverter that resolves Prolog type names via typeFactory (for casts and constructor selection) and resolves $Alias dealiasing expressions via dealiaser (which returns null, causing dealiasing to fail, by default).