sig
val compositional : unit -> bool
val translate_contracts : unit -> string option
val check_modes : unit -> bool
val check_implem : unit -> bool
val contract_gen : unit -> bool
val contract_gen_depth : unit -> int
val refinement : unit -> bool
end