emptyIndexed

fun emptyIndexed(): Theory

Creates an empty Theory backed by an indexed data structure