package facile

  1. Overview
  2. Docs
val min : Var.Fd.t array -> Var.Fd.t
val min_cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
val max : Var.Fd.t array -> Var.Fd.t
val max_cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
val get : Var.Fd.t array -> Var.Fd.t -> Var.Fd.t
val get_cstr : Var.Fd.t array -> Var.Fd.t -> Var.Fd.t -> Cstr.t