FirstOrderTheory.Utils

type Name

type Arity

type Sort

sort