module BCDD
  module Success
    def success?: (?Symbol type) -> bool
    def failure?: (?Symbol type) -> bool
    def value_or: { () -> untyped } -> untyped
    def value: -> untyped

    private

    def kind: -> Symbol
    def type_checker: -> BCDD::Result::Contract::TypeChecker
  end
end