Module type ACSL.Compiler


module type Compiler = sig .. end

type key 
type data 
val name : string
val reprs : data list
val compile : key -> data