links

The Links Programming Language
IN THIS PACKAGE

Parameters

module T : sig ... end

Signature

val name : string
val program : state -> Ir.program -> result