package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Merge_binding.Bind`

type expunit = Ol.Ast.exp * Ol.Ast.iterexp list

val string_of_expunit : expunit -> string

val string_of_expunits : expunit list -> string

val eq_expunit : expunit -> expunit -> bool

val eq_expunits : expunit list -> expunit list -> bool

type t =

val to_string : t -> string

val init_expunit : Ol.Ast.exp -> Ol.Ast.iterexp list -> expunit

val init_let_bind : Ol.Ast.exp -> Ol.Ast.exp -> Ol.Ast.iterinstr list -> t

val init_rule_bind : 
  Ol.Ast.id ->
  Ol.Ast.notexp ->
  Lang.Hints.Input.t ->
  Ol.Ast.iterinstr list ->
  t

val collapse_exp : 
  Re.Renamer.t ->
  Ol.Ast.exp ->
  Ol.Ast.exp ->
  Re.Renamer.t option

val collapse_exps : 
  Re.Renamer.t ->
  Ol.Ast.exp list ->
  Ol.Ast.exp list ->
  Re.Renamer.t option

val collapse_expunit : 
  Re.Renamer.t ->
  expunit ->
  expunit ->
  Re.Renamer.t option

val collapse_expunits : 
  Re.Renamer.t ->
  expunit list ->
  expunit list ->
  Re.Renamer.t option

val collapse_bind : t -> t -> Re.Renamer.t option