Restaurant


function Restaurant<Arg1, Arg2>(α:Arg1, θ:Arg2) ->

Create Chinese restaurant process.