type level = Fcl_gcc.level = Basic | Medium | High
val cstr :
  ?level:level ->
  Fcl_var.Fd.t array -> (Fcl_var.Fd.t * int) array -> Fcl_cstr.t