1. Overview
  2. Docs
constraint 'a = unit
method private plus : 'a -> 'a -> 'a
method private zero : 'a