liquid_std 0.1.2 · OCaml Package

val compact : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val concat : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val first : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val join : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val last : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val map : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val reverse : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val size : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val sort : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val sort_natural : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val slice : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val uniq : 
  'a ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val where : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.value Base.List.t ->
  (Liquid_syntax.Syntax.value, string) Base.result

val function_from_id : 
  string ->
  (Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
    Liquid_syntax.Syntax.value Base.List.t ->
    (Liquid_syntax.Syntax.value, string) Base.result)
    option

package liquid_std