class TypedRb::Model::TmInt
integers
Attributes
val[RW]
Public Class Methods
new(node)
click to toggle source
Calls superclass method
TypedRb::Model::Expr::new
# File lib/typed/model/tm_int.rb, line 8 def initialize(node) super(node, Types::TyInteger.new(node)) @val = node.children.first end