package p4spectec

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

Module Al.Free

module Mixfix = Domain.Mixfix
val empty : Domain.Lib.IdSet.t
val free_exp : Il.exp -> t
val free_exps : Il.exp list -> t
val free_path : Il.path -> t
val free_arg : Il.arg -> t
val free_args : Il.arg list -> t
val free_prem : Il.prem -> t
val free_prems : Il.prem list -> t
val free_rulematch : (Il.exp list * Il.exp list * Il.prem list) -> t
val free_rulepath : (Il.id * Il.prem list * Il.exp list) -> t
val free_rulepaths : (Il.id * Il.prem list * Il.exp list) list -> t
val free_rulegroup : (Il.id * (Il.exp list * Il.exp list * Il.prem list) * (Il.id * Il.prem list * Il.exp list) list) Util.Source.phrase -> t
val free_rulegroups : (Il.id * (Il.exp list * Il.exp list * Il.prem list) * (Il.id * Il.prem list * Il.exp list) list) Util.Source.phrase list -> t
val free_elsegroup : (Il.id * (Il.exp list * Il.exp list * Il.prem list) * (Il.id * Il.prem list * Il.exp list)) Util.Source.phrase -> t
val free_elsegroup_opt : (Il.id * (Il.exp list * Il.exp list * Il.prem list) * (Il.id * Il.prem list * Il.exp list)) Util.Source.phrase option -> t
val free_clause : Il.clause -> t
val free_clauses : Il.clause list -> t
val free_elseclause : Il.elseclause -> t
val free_elseclause_opt : Il.elseclause option -> t
val free_tablerow : (Il.exp list * Il.arg list * Il.exp * Il.prem list) Util.Source.phrase -> t
val free_tablerows : (Il.exp list * Il.arg list * Il.exp * Il.prem list) Util.Source.phrase list -> t
val free_def : Lang__Al__.Ast.def' Util.Source.phrase -> t