CSPM.CoreLanguage.Process

type family Prefix i

type family ExtProcess i

class BL i

data Process i

isOmega