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