Types.Separability
type t =
| Ind
| Sep
| Deepsep
val eq : t -> t -> bool
val print : Format.formatter -> t -> unit
val rank : t -> int
val compare : t -> t -> int
val max : t -> t -> t
type signature = t list
val print_signature : Format.formatter -> signature -> unit
val default_signature : arity:int -> signature