Up  

Module Funarr.Flat


module Flat: sig  end
val is : Term.t -> bool
Parameters:
? : Term.t
 
val mk_create : Term.t -> Term.t
Parameters:
a : Term.t
 
val mk_update : Term.t -> Term.t -> Term.t -> Term.t
Parameters:
a : Term.t
i : Term.t
x : Term.t
 
val mk_select : Term.t -> Term.t -> Term.t
Parameters:
a : Term.t
j : Term.t
 
val apply : Term.Equal.t -> Term.t -> Term.t
Replace a variable x by y in a flat term a.
Parameters:
? : Term.Equal.t
a : Term.t