class Axiom::Function::Connective

Abstract base class for logical connectives

Public Class Methods

type() click to toggle source

Return the type returned from call

@example

type = Axiom::Function::Connective.type  # => Axiom::Types::Boolean

@return [Class<Types::Boolean>]

@api public

# File lib/axiom/function/connective.rb, line 18
def self.type
  Types::Boolean
end