Erlang Types Specifications

Posted by Chang on Stack Overflow See other posts from Stack Overflow or by Chang
Published on 2011-01-14T10:25:13Z Indexed on 2011/01/14 10:53 UTC
Read the original article Hit count: 215

Filed under:

I recently read the source code of couch-db, I find this type definition which i don't understand:

-type branch() :: {Key::term(), Value::term(), Tree::term()}.
-type path() :: {Start::pos_integer(), branch()}.
-type tree() :: [branch()].

I did read Erlang doc, But what is the meaning of Start, Key, Value and Tree? From what i understand, they are Erlang variables! I didn't find any information about this in Erlang doc.

© Stack Overflow or respective owner

Related posts about erlang