links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . IrCheck
val typecheck : bool Settings.setting
val fail_on_ir_type_error : bool Settings.setting