Remove generated Option type for total functions#4741

JuanCoRo wants to merge 1 commit intodevelopruntimeverification/k:developfrom

axioms-total-funcruntimeverification/k:axioms-total-funcCopy head branch name to clipboard