WhoCites Definitions mb hybrid Sections GenAutomata Doc

Who Cites hide?
hideDef ... == x

Syntax:... has structure: hide(x)

About:
!abstraction

WhoCites Definitions mb hybrid Sections GenAutomata Doc