Ckini
v0.1.0
Pages
Modules
Ckini.Var
(Ckini v0.1.0)
View Source
A logic variable
Link to this section
Summary
Types
t()
Functions
clone(var)
eq?(var1, var2)
new()
new(sym)
new_many(n, sym \\ nil)
Link to this section
Types
Link to this type
t()
View Source
Specs
t() :: %Ckini.Var{id:
term
(), sym:
term
()}
Link to this section
Functions
Link to this function
clone(var)
View Source
Link to this function
eq?(var1, var2)
View Source
Link to this function
new()
View Source
Link to this function
new(sym)
View Source
Link to this function
new_many(n, sym \\ nil)
View Source