{:check ["true"]}

Index

Type Checking, Inference and Unification