liquid_std 0.1.1 · OCaml Package

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val money_without_trailing_zeros : 
  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, Base.String.t) Base.result)
    option

package liquid_std