package facile

  1. Overview
  2. Docs
val sort : Var.Fd.t array -> Var.Fd.t array
val sortp : Var.Fd.t array -> Var.Fd.t array * Var.Fd.t array
val cstr : Var.Fd.t array -> ?p:Var.Fd.t array option -> Var.Fd.t array -> Cstr.t
OCaml

Innovation. Community. Security.