template

abstract val template: Obligation.Terms<P>