package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Builtin.Texts`Source

module Typ = Runtime.Type.Typ

module Value = Runtime.Value

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

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

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

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

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

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