package p4spectec

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

Module Structure.Antiunify

module Mixfix = Domain.Mixfix
module UEnv : sig ... end
val populate_exp_template : UEnv.t -> Lang.Al.exp -> Lang.Al.exp -> Lang.Al.prem list
val populate_exps_templates : UEnv.t -> Lang.Al.exp list -> Lang.Al.exp list -> Lang.Al.prem list
val antiunify_exps : Domain.Lib.IdSet.t -> UEnv.t -> Lang.Al.exp list -> Lang.Al.exp list -> Domain.Lib.IdSet.t * UEnv.t * Lang.Il.exp list
val antiunify_exp_group : Domain.Lib.IdSet.t -> Lang.Al.exp list -> Domain.Lib.IdSet.t * UEnv.t * Lang.Al.exp
val antiunify_exps_group : Domain.Lib.IdSet.t -> Lang.Al.exp list list -> UEnv.t * Lang.Al.exp list
val populate_arg_template : UEnv.t -> Lang.Al.arg -> Lang.Al.arg -> Lang.Al.prem list
val populate_args_templates : UEnv.t -> Lang.Al.arg list -> Lang.Al.arg list -> Lang.Al.prem list
val antiunify_arg_group : Domain.Lib.IdSet.t -> Lang.Al.arg list -> Domain.Lib.IdSet.t * UEnv.t * Lang.Al.arg
val antiunify_args_group : Domain.Lib.IdSet.t -> Lang.Al.arg list list -> UEnv.t * Lang.Al.arg list
val antiunify_rule_match_group : Domain.Lib.IdSet.t -> Lang.Al.exp list list -> Lang.Al.exp list option -> Lang.Al.exp list * Lang.Al.prem list list * Lang.Al.prem list option
val antiunify_clauses : Lang.Al.clause list -> Lang.Al.clause option -> Lang.Al.arg list * (Lang.Al.prem list * Lang.Al.exp) list * (Lang.Al.prem list * Lang.Al.exp) option