package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Backend_boot.Patch`Source

module Value = Runtime.Value

module Run = Runtime.Dynamic_Runner.Signature

Sourceval value_as_exp : Value.t -> Lang.Il.exp

Sourceval parse_spec : Config.layer -> Config.interface -> Value.t

Sourceval parse_target : Config.target -> Config.level -> Value.t

Sourceval apply_il : Config.level -> Value.t -> Value.t -> Value.t

Sourceval apply_sl : Config.level -> Value.t -> Value.t -> Value.t

Sourceval apply : Config.level -> Value.t -> Config.level -> Value.t -> Value.t

Sourceval apply_target : Config.target -> Config.level -> Config.level -> Value.t

Sourceval apply_interm : Config.level -> Value.t -> Config.level -> Value.t

Sourceval apply_tower : Config.tower -> Value.t