package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Backend_testgen_neg.MutateSource

module Type = Runtime.Type
module Value = Runtime.Value
Sourcemodule Mixfix = Domain.Mixfix
Sourcemodule Mixop = Domain.Mixop
Sourcetype kind =
  1. | GenFromTyp
  2. | MutateList
  3. | MixopGroup
Sourceval string_of_kind : kind -> string
Sourceval (let*) : 'a option -> ('a -> 'b option) -> 'b option
Sourceval wrap_value_opt : Lang.Il.typ' -> Lang.Il.value' option -> Lang.Il.value option
Sourceval gen_from_typ' : int -> Runtime.Testgen_neg.Envs.TDEnv.t -> Lang.Il.value' list -> Lang.Il.typ -> Lang.Il.value option
Sourceval gen_from_typs : int -> Runtime.Testgen_neg.Envs.TDEnv.t -> Lang.Il.value' list -> Lang.Il.typ list -> Lang.Il.value list option
Sourceval shuffle_list' : Lang.Il.value -> Lang.Il.value
Sourceval shuffle_list : Lang.Il.value -> Lang.Il.value option
Sourceval duplicate_list' : Lang.Il.value -> Lang.Il.value
Sourceval duplicate_list : Lang.Il.value -> Lang.Il.value option
Sourceval shrink_list' : Lang.Il.value -> Lang.Il.value
Sourceval shrink_list : Lang.Il.value -> Lang.Il.value option
Sourceval mutate_list : Lang.Il.value -> (kind * Lang.Il.value) option