Parameter Define.D

type left
type right
type diff
type state