package facile

  1. Overview
  2. Docs
val cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
val sum : Var.Fd.t array -> Var.Fd.t