Updates to hand functions#2

Merged

pazeshun merged 12 commits into

pazeshun:hironxjsk-interfacefrom

Affonso-Gui:hironxjsk-interface

Apr 8, 2019

Commits on Dec 3, 2018

Commits on Dec 20, 2018

Commits on Dec 21, 2018

Allow ignoring safetymargin on hand-width
Affonso-Gui
committed

Commits on Apr 3, 2019

Add typecheck to hand functions
Affonso-Gui
committed

Commits on Apr 4, 2019

Add printing information to typecheck
Affonso-Gui
committed