Type

implementation

type implementation = implementation;