sig
  type key
  type data
  val name : string
  val reprs : ACSL.Compiler.data list
  val compile : ACSL.Compiler.key -> ACSL.Compiler.data
end