protected abstract void InitSpec()

Protected MustOverride Sub InitSpec

protected:
virtual void InitSpec() abstract

abstract InitSpec : unit -> unit