(* perms.ml [part of the funk project]
 *************************************
 * contents  : permissions system module
 * copyright : (C) 2005 by the authors
 * published under GPL (see COPYING in root directory)
 *)

(* single permission type *)
type permission = int

(* permissions account type *)
type perms = permission list

(* permissions account creation function *)
let create_perms () = []

