Type

initialize-result

type initialize-result = initialize-result;