Astral_internal.Logic_sig
module type SORT = sig ... end
module type SORTED = sig ... end
module type VARIABLE = sig ... end
module type LOGIC = sig ... end
module type WITH_VIEW = sig ... end