one sig Validator {

	style: Style,

	specs: set Spec,

	slurpy: Slurpy,

}

abstract sig Slurpy { }

enum Style { named, positional, named_to_list }

sig Spec {

	is_required: Bool,

	type: Type,

	default: Default,

}

enum Bool { false, true }

enum Default { absent, simple, coderef }

sig Type extends Slurpy {

	system: TypeSystem,

	inlinable: Inlinable,

     coercions: set Coercion,

}

enum TypeSystem { moose, specio, type_tiny}

enum Inlinable { cannot, yes, with_env }

sig Coercion {

	inlinable: Inlinable,

}

run {} for 5