class SimpleSub::Typer

Defined in:

simple_sub/type.cr
simple_sub/typer.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new #

[View source]

Instance Method Detail

def infer_type(term : Term) #

[View source]