links

The Links Programming Language
IN THIS PACKAGE
Module type Links_core . IrTransform . S
val name : string
val program : state -> Ir.program -> result