Skip to content

Instantly share code, notes, and snippets.

@mk270

mk270/horizontal_accountability.ml

Created July 19, 2012 16:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mk270/3144941 to your computer and use it in GitHub Desktop.
Save mk270/3144941 to your computer and use it in GitHub Desktop.
Download ZIP
Modelling horizontal accountability / checks and balances in OCaml
Raw
horizontal_accountability.ml
type branch =
| Legislative
| Executive
| Judicial
| Other
type origin =
| Elected
| Appointed
| Hereditary
| Ex_officio
type delegation =
| Non_delegating
| Delegating
type fiscal =
| Fiscal
| Non_fiscal
type institution = {
institution_branch : branch;
institution_origin : origin;
institution_delegation : delegation;
institution_fiscal : fiscal;
institution_name : string;
}
type constitution = institution list
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment