package facile

  1. Overview
  2. Docs

Module Facile.SortingSource

Sourceval sort : Var.Fd.t array -> Var.Fd.t array
Sourceval sortp : Var.Fd.t array -> Var.Fd.t array * Var.Fd.t array
Sourceval cstr : Var.Fd.t array -> ?p:Var.Fd.t array option -> Var.Fd.t array -> Cstr.t