package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Builtin.Ints`Source

module Value = Runtime.Value

Sourceval bigint_of_value : Lang.Il.value -> Bigint.t

Sourceval value_of_bigint : (Lang.Il.value -> unit) -> Bigint.t -> Lang.Il.value

val sum_int : 
  (Lang.Il.value -> unit) ->
  Util.Source.region ->
  Lang.Il.targ list ->
  Lang.Il.value list ->
  Lang.Il.value

val max_int : 
  (Lang.Il.value -> unit) ->
  Util.Source.region ->
  Lang.Il.targ list ->
  Lang.Il.value list ->
  Lang.Il.value

val min_int : 
  (Lang.Il.value -> unit) ->
  Util.Source.region ->
  Lang.Il.targ list ->
  Lang.Il.value list ->
  Lang.Il.value