let
kind_of_var =
Fol
.
Var
.kind_of_var