/dhall-ansible/Ansible/Vars/double.dhall

Source

(./JSON.dhall).double : Double -> ./Type.dhall