Function agda_mode::agda::send_command

pub async fn send_command<'_, '_>(
    stdin: &'_ mut ChildStdin, 
    command: &'_ IOTCM
) -> Result<()>

Send an IOTCM command to Agda.